What processes know: Definitions and proof methods

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

What processes know: Definitions and proof methods

Full text

Pdf (794 KB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the fifth annual ACM symposium on Principles of distributed computing table of contents

Calgary, Alberta, Canada

Pages: 249 - 262

Year of Publication: 1986

ISBN:0-89791-198-9

Authors

Shmuel Katz	Computer Science Department, Technion, Haifa 32000, Israel
Gadi Taubenfeld	Computer Science Department, Technion, Haifa 32000, Israel

Sponsor

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 6, Citation Count: 9

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/10590.10612 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AFR	Krzysztof R. Apt , Nissim Francez , Willem P. de Roever, A Proof System for Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.359-385, July 1980 [doi>10.1145/357103.357110]
	Ap	Krzysztof R. Apt, Formal Justification of a Proof System for Communicating Sequential Processes, Journal of the ACM (JACM), v.30 n.1, p.197-216, Jan. 1983 [doi>10.1145/322358.322372]
	B	Howard Barringer, A survey of verification techniques for parallel programs, Springer-Verlag New York, Inc., New York, NY, 1985
	BHR	S. D. Brookes , C. A. R. Hoare , A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM (JACM), v.31 n.3, p.560-599, July 1984 [doi>10.1145/828.833]
	CM	K. Mani Chandy , Jayadev Misra, How processes learn, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.204-214, August 1985, Minaki, Ontario, Canada [doi>10.1145/323596.323615]
	FHV	Fagin, R., Halpern, J., and Vardi, M. A model theoretic analysis of knowledge, IEEE-FOCS 1984, 268-278.
	HF	Joseph Y. Halpern , Ronald Fagin, 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, p.224-236, August 1985, Minaki, Ontario, Canada [doi>10.1145/323596.323617]
	HM1	Joseph Y. Halpern , Yoram Moses, Knowledge and common knowledge in a distributed environment, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.50-61, August 27-29, 1984, Vancouver, British Columbia, Canada [doi>10.1145/800222.806735]
	HM2	Halpern, J., and Moses, Y. A guide to the modal logic of knowledge and belief, IJCAI 1985.
	Le	Daniel Lehmann, Knowledge, common knowledge and related puzzles (Extended Summary), Proceedings of the third annual ACM symposium on Principles of distributed computing, p.62-67, August 27-29, 1984, Vancouver, British Columbia, Canada [doi>10.1145/800222.806736]
	Ow	Susan Speer Owicki, Axiomatic proof techniques for parallel programs., 1975
	OG	Owicki, S., and Gries, D. An axiomatic proof technique for parallel programs, I. Acta Inf. 6, 1976, 319-340.
	OL	Susan Owicki , Leslie Lamport, Proving Liveness Properties of Concurrent Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.455-495, July 1982 [doi>10.1145/357172.357178]
	LSP	Leslie Lamport , Robert Shostak , Marshall Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.382-401, July 1982 [doi>10.1145/357172.357176]
	M	Misra, J. Reasoning about network of communicating processes, Proc. Advanced NATO Institute on Logic and Models for Verification and Specification of Concurrent Systems, Oct. 1984.
	PR	Rohit Parikh , R. Ramanujam, Distributed Processes and the Logic of Knowledge, Proceedings of the Conference on Logic of Programs, p.256-268, June 17-19, 1985

CITED BY 9

	Michael Merritt , Gadi Taubenfeld, Knowledge in shared memory systems (preliminary version), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.189-200, August 19-21, 1991, Montreal, Quebec, Canada
	Beverly Sanders, A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.217-230, August 19-21, 1991, Montreal, Quebec, Canada
	M. J. Fischer , S. Moran , R. Rudich , G. Taubenfeld, The wakeup problem, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.106-116, May 13-17, 1990, Baltimore, Maryland, United States
	Joseph Y. Halpern , Yoram Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM (JACM), v.37 n.3, p.549-587, July 1990
	Joseph Y. Halpern, A note on knowledge-based programs and specifications, Distributed Computing, v.13 n.3, p.145-153, July 2000
	M. van Hulst , J.-J. Ch. Meyer, An epistemic proof system for parallel processes: extended abstract, Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge, p.243-254, March 13-16, 1994, Pacific Grove, California
	Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi, Knowledge-based programs, Distributed Computing, v.10 n.4, p.199-225, July 1997
	Michael Merritt , Gadi Taubenfeld, Knowledge in shared memory systems, Distributed Computing, v.7 n.2, p.99-109, December 1993
	Hendrik Wietze de Haan , Wim H. Hesselink , Gerard R. Renardel de Lavalette, Knowledge-Based Asynchronous Programming, Fundamenta Informaticae, v.63 n.2-3, p.259-281, April 2004