On the Automated Implementation of Time-Based Paxos Using the IOA Compiler.

Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial

Browse the full OPODIS paper archive.