The file paxos.orc contains Simulation of Basic Paxos Algorithm in Orc Language.
Please see http://orc.csres.utexas.edu/ to learn about the Orchestration(Orc) which is a Structured concurrent programming language developed by the researchers at UT Austin.