Note on knowledge-based programs and specifications

Distributed Computing

Volumn 13, Issue 3, 2000, Pages 145-153

  Halpern, Joseph Y ^a  

^a School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; NETWORK PROTOCOLS;

MONOTONICITY;

COMPUTER SOFTWARE;

EID: 0034230143     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00008916     Document Type: Article

References (27)

1. F. Afrati, C. H. Papadimitriou, G. Papageorgiou. The synthesis of communication protocols. Algorithmica, 3(3):451-472 (1988)
2. K. M. Chandy, J. Misra. Parallel Program Design: A Foundation. Reading, Mass.: Addison-Wesley 1988
3. C. Dwork, Y. Moses. Knowledge and common knowledge in a Byzantine environment: crash failures. Inf Comput, 88(2): 156-186 (1990)
4. E. A. Emerson, J. Y. Halpern. "Sometimes" and "not never" revisited: on branching versus linear time temporal logic. Journal of the ACM, 33(1): 151-178 (1986)
5. K. Engelhardt, R. van der Meyden, Y. Moses. Knowledge and the logic of local propositions. In: I. Gilboa (ed.) Theoretical Aspects of Rationality and Knowledge: Proc. Seventh Conference. San Francisco, Calif.: Morgan Kaufmann 1998
6. R. Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi. Reasoning about Knowledge. Cambridge, Mass.: MIT Press 1995
7. R. Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi. Knowledge-based programs. Distrib Comput, 10(4): 199-225 (1997)
8. V. Hadzilacos. A knowledge-theoretic analysis of atomic commitment protocols. In: Proc. 6th ACM Symp. on Principles of Database Systems, pp 129-134, 1987
9. J. Y. Halpern, R. Fagin. Modelling knowledge and action in distributed systems. Distrib Comput, 3(4): 159-179 (1989). A preliminary version appeared in Proc. 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title "A formal model of knowledge, action, and communication in distributed systems: preliminary report"
10. J. Y. Halpern, R. Fagin. Modelling knowledge and action in distributed systems. Distrib Comput, 3(4): 159-179 (1989). A preliminary version appeared in Proc. 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title "A formal model of knowledge, action, and communication in distributed systems: preliminary report"
11. J. Y Halpern, Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549-587 (1990). A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing, 1984
12. J. Y Halpern, Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549-587 (1990). A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing, 1984
13. J. Y. Halpern, Y. Moses, O. Waarts. A characterization of eventual Byzantine agreement. In: Proc. 9th ACM Symp. on Principles of Distributed Computing, pp 333-346, 1990
14. J. Y. Halpern, L. D. Zuck. A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols. Journal of the ACM, 39(3):449-478 (1992)
15. S. Katz, G. Taubenfeld. What processes know: definitions and proof methods. In Proc. 5th ACM Symp. on Principles of Distributed Computing, pp 249-262, 1986
16. R. Koo, S. Toueg. Effects of message loss on the termination of distributed programs. Inform Process Lett, 27: 181-188 (1988)
17. R. Kurki-Suonio. Towards programming with knowledge expressions. In: Proc. 13th ACM Symp. on Principles of Programming Languages, pp 140-149, 1986
18. L. Lamport. "Sometimes" is sometimes "not never": on the temporal logic of programs. In: Proc. 7th ACM Symp. on Principles of Programming Languages, pp 164-185, 1980
19. M. S. Mazer. A link between knowledge and communication in faulty distributed systems. In: R. Parikh (ed.) Theoretical Aspects of Reasoning about Knowledge: Proc. Third Conference, pp 289-304. San Francisco, Calif.: Morgan Kaufmann 1990
20. M. S. Mazer. Implementing distributed knowledge-based protocols. Submitted for publication, 1990
21. M. S. Mazer, F. H. Lochovsky. Analyzing distributed commitment by reasoning about knowledge. Technical Report CRL 90/10, DEC-CRL, 1990
22. Y. Moses, D. Dolev, J. Y. Halpern. Cheating husbands and other stories: a case study of knowledge, action, and communication. Distrib Comput, 1(3): 167-176 (1986)
23. Y. Moses, M. R. Tuttle. Programming simultaneous actions using common knowledge. Algorithmica, 3:121-169 (1988)
24. G. Neiger, S. Toueg. Simulating real-time clocks and common knowledge in distributed systems. Journal of the ACM, 40(2):334-367 (1993)
25. A. Neyman. The positive value of information. Games and Economic Behavior, 3:350-355 (1991)
26. S. Owicki, L. Lamport. Proving liveness properties of concurrent programs. ACM Trans. on Programming Languages and Systems, 4(3):455-495 (1982)
27. B. Sanders. A predicate transformer approach to knowledge and knowledge-based protocols. In: Proc. 10th ACM Symp. on Principles of Distributed Computing, pp 217-230, 1991. A revised report appears as ETH Informatik Technical Report 181, 1992