A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
作者： Joseph Y. Halpern
DOI: 10.1145/41840.41863
关键词:
摘要:
acm.org
sci-hub.st 参考文章(25)
Stuart R. Soloway, Pierre A. Humblet, ON DISTRIBUTED NETWORK PROTOCOLS FOR CHANGING TOPOLOGIES Laboratory for Information and Decision Systems, Massachusetts Institute of Technology]. ,(1986)
Cynthia Dwork, Yoram Moses, Knowledge and common knowledge in a Byzantine environment I: crash failures theoretical aspects of rationality and knowledge. pp. 149- 169 ,(1986) , 10.1016/B978-0-934613-04-0.50013-2
Michael J. Fischer, Neil Immerman, Foundations of knowledge for distributed systems theoretical aspects of rationality and knowledge. pp. 171- 185 ,(1986) , 10.1016/B978-0-934613-04-0.50014-4
Rohit Parikh, R. Ramanujam, Distributed Processes and the Logic of Knowledge Proceedings of the Conference on Logic of Programs. pp. 256- 268 ,(1985) , 10.1007/3-540-15648-8_21
K. A. Bartlett, R. A. Scantlebury, P. T. Wilkinson, A note on reliable full-duplex transmission over half-duplex links Communications of The ACM. ,vol. 12, pp. 260- 261 ,(1969) , 10.1145/362946.362970
Joseph Y. Halpern, Ronald Fagin, A formal model of knowledge, action, and communication in distributed systems: preliminary report principles of distributed computing. pp. 224- 236 ,(1985) , 10.1145/323596.323617
A. V. Aho, J. D. Ullman, M. Yannakakis, Modeling communications protocols by automata 20th Annual Symposium on Foundations of Computer Science (sfcs 1979). pp. 267- 273 ,(1979) , 10.1109/SFCS.1979.23
J Y Halpern, M Y Vardi, The complexity of reasoning about knowledge and time symposium on the theory of computing. pp. 304- 315 ,(1986) , 10.1145/12130.12161
Amir Pnueli, The temporal logic of programs 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). pp. 46- 57 ,(1977) , 10.1109/SFCS.1977.32
V. Hadzilacos, A knowledge-theoretic analysis of atomic commitment protocols symposium on principles of database systems. pp. 129- 134 ,(1987) , 10.1145/28659.28672