Using Reasoning About Knowledge to Analyze DistributedSystems

Agreeing to Disagree

Robert J. Aumann · The Annals of Statistics · 1976 · 2.5K citations

Computing, Social Psychology, Bayesian Data Analysis +11

Reaching Agreement in the Presence of Faults

Marshall C. Pease, Robert E. Shostak, Leslie Lamport · Journal of the ACM · 1980 · 2.4K citations · Full text

Computing, Computer Engineering, Computer Science +13

The knowledge complexity of interactive proof-systems

Sbafi Goldwasser, Silvio Micali, Charles Rackoff · 1985 · 1.2K citations · Full text

Computing, Computer Science, Cryptography +8

Definite reference and mutual knowledge

Herbert H. Clark · Medical Entomology and Zoology · 1981 · 1.2K citations

Humanities, Linguistics, Philosophy +8

Using branching time temporal logic to synthesize synchronization skeletons

E. Allen Emerson, Edmund M. Clarke · Science of Computer Programming · 1982 · 662 citations

Computing, Computer Engineering, Computer Science +14