Romain Boichat Svend Frølund Rachid Guerraoui Open consensus. 1215-1245 2001 13 Concurrency and Computation: Practice and Experience 14 db/journals/concurrency/concurrency13.html#BoichatFG01