Paxos in Overlog (NetDB'09)
Paper:
I Do Declare: Consensus in a Logic Language
(Peter Alvaro, Tyson Condie, Neil Conway, Joseph M. Hellerstein, Russell Sears)
Source Code Repository:
hosted on
BitBucket
Source Code for core Paxos:
Phase 1:
prepare.olg
Phase 2:
propose.olg
Leader Election Module:
election.olg