Author:
Chandy K. M.,Misra Jayadev
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Reference7 articles.
1. Chandy KM, Misra J (1984) Drinking philosophers problem. TOPLAS, October 1984
2. Fischer MJ, Lynch N, Paterson M (1985) Impossibility of distributed consensus with one faulty process, J ACM, April 1985
3. Halpern JY, Moses Y (1984) Knowledge and common knowledge in a distributed environment. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Vancouver, Canada, August 1984
4. Hintikka J (1962) Knowledge and belief. Cornell University Press
5. Lamport L (1978) Time, Clocks and the orderings of events in a distributed system, Communications of the ACM 21: 558–564
Cited by
125 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distributed Consistency Beyond Queries;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
2. A Note on Idleness Detection of Actor Systems;The Logic of Software. A Tasting Menu of Formal Methods;2022
3. Epistemic Analysis of a Key-Management Vulnerability in LoRaWAN;2021 18th International Conference on Privacy, Security and Trust (PST);2021-12-13
4. Reasoning about Authentication and Secrecy in the Signal Protocol;2021 International Conference on Electrical, Computer and Energy Technologies (ICECET);2021-12-09
5. Knowledge, behavior, and rationality: rationalizability in epistemic games;Archive for Mathematical Logic;2021-06-24