A Formal Analysis of the Global Sequence Protocol.

Hernn C. Melgratti, Christian Roldn

Browse the full Coordination paper archive.