Groundbreaking treatise on state machines, paxos, specification Published in Formal Aspects of Computation (the title of this page is an inside joke) View FullscreenSkip to PDF content
