Groundbreaking treatise on state machines, paxos, specification

Published in Formal Aspects of Computation 

(the title of this page is an inside joke)

View Fullscreen
Skip to PDF content