Cheating husbands and other stories: A case study of knowledge, action, and communication (preliminary version)
- Yoram Moses
- Danny Dolev
- et al.
- 1985
- PODC 1985
Publications
Date
Featured collections
Popular topics
2 results at PODC 1985
A formal model of knowledge, action, and communication in distributed systems: Preliminary report
- Joseph Y. Halpern
- Ronald Fagin
- 1985
- PODC 1985