Hierarchical correctness proofs for distributed algorithms
Impossibility of distributed consensus with one faulty process
Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC ’87
Journal of the ACM
Michael S. Paterson
Michael J. Fischer
Mark R. Tuttle
Beyond nash equilibrium
A theory of normed simulations
Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts
Building Consistent Transactions with Inconsistent Replication