Cheating husbands and other stories (preliminary version): a case study of knowledge, action, and communication

Authors:
Yoram Moses;Danny Dolev;Joseph Y. Halpern
Affiliations:
Computer Science Department, Stanford University, Stanford, CA and IBM Research, San Jose, CA;Batsheva de Rothschild Fellow, Computer Science Department, The Hebrew University, Jerusalem, Israel and IBM Research, San Jose, CA;IBM Research, San Jose, CA
Venue:
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Year:
1985

A formal model of knowledge, action, and communication in distributed systems: preliminary report

Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Impossibility of distributed consensus with one faulty process

PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Knowledge and common knowledge in a distributed environment

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing

A formal model of knowledge, action, and communication in distributed systems: preliminary report

Proceedings of the fourth annual ACM symposium on Principles of distributed computing
The logic of distributed protocols: preliminary report

TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge

Hi-index	0.00