{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:21Z","timestamp":1742591421768,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540504030"},{"type":"electronic","value":"9783540459996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50403-6_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:25:12Z","timestamp":1330201512000},"page":"18-32","source":"Crossref","is-referenced-by-count":5,"title":["Modelling knowledge and action in distributed systems: Preliminary report"],"prefix":"10.1007","author":[{"given":"Joseph Y.","family":"Halpern","sequence":"first","affiliation":[]},{"given":"Ronald","family":"Fagin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"6","key":"3_CR1","doi-asserted-by":"crossref","first-page":"1236","DOI":"10.1214\/aos\/1176343654","volume":"4","author":"R. J. Aumann","year":"1976","unstructured":"R. J. Aumann, Agreeing to disagree, Annals of Statistics 4:6, 1976, pp. 1236\u20131239.","journal-title":"Annals of Statistics"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"K. M. Chandy","year":"1986","unstructured":"K. M. Chandy and J. Misra, How processes learn, Distributed Computing 1:1, 1986, pp. 40\u201352.","journal-title":"Distributed Computing"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"C. Dwork and Y. Moses, Knowledge and common knowledge in a Byzantine environment I: crash failures (extended abstract), Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference (J. Y. Halpern, ed.), Morgan Kaufmann, 1986, pp. 149\u2013170. To appear in Information and Computation.","DOI":"10.1016\/B978-0-934613-04-0.50013-2"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"R. Fagin and J. Y. Halpern, Belief, awareness, and limited reasoning, Artificial Intelligence 34, 1988, pp. 39\u201376.","journal-title":"Artificial Intelligence"},{"key":"3_CR5","unstructured":"R. Fagin and J. Y. Halpern, Reasoning about knowledge and probability: preliminary report, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (M. Y. Vardi, ed.), Morgan Kaufmann, 1988, pp. 277\u2013293."},{"key":"3_CR6","unstructured":"R. Fagin, J. Y. Halpern, and M. Y. Vardi, What can machines know? On the epistemic properties of machines, Proc. of National Conference on Artificial Intelligence (AAAI-86), 1986, pp. 428\u2013434. A revised version appears as IBM Research Report RJ 6250, 1988."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"M. J. Fischer and N. Immerman, Foundations of knowledge for distributed systems, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference (J. Y. Halpern, ed.), Morgan Kaufmann, 1986, pp. 171\u2013186.","DOI":"10.1016\/B978-0-934613-04-0.50014-4"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"R. Fagin and M. Y. Vardi, Knowledge and implicit knowledge in a distributed environment: preliminary report, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference (J. Y. Halpern, ed.), 1986, pp. 187\u2013206.","DOI":"10.1016\/B978-0-934613-04-0.50015-6"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"S. Fortune and J. Wyllie, Parallelism in random access machines, Proc. 10th ACM Symp. on Theory of Computing, 1978, pp. 114\u2013118.","DOI":"10.1145\/800133.804339"},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.1145\/322344.322353","volume":"29","author":"L. Goldschlager","year":"1982","unstructured":"L. Goldschlager, A unified approach to models of synchronous parallel machines, Journal of the ACM 29:4, 1982, pp. 1073\u20131086.","journal-title":"Journal of the ACM"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"V. Hadzilacos, A knowledge-theoretic analysis of atomic commitment protocols, Proc. 6th ACM Symp. on Principles of Database Systems, 1987. A revised version has been submitted for publication.","DOI":"10.1145\/28659.28672"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1146\/annurev.cs.02.060187.000345","volume":"2","author":"J. Y. Halpern","year":"1987","unstructured":"J. Y. Halpern, Using reasoning about knowledge to analyze distributed systems, Annual Review of Computer Science, Vol. 2, Annual Reviews Inc., 1987, pp. 37\u201368.","journal-title":"Annual Review of Computer Science"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, Vol. 68, Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and R. Fagin, A formal model of knowledge, action, and communication in distributed systems: preliminary report, Proc. 4th ACM Symp. on Principles of Distributed Computing, 1985, pp. 224\u2013236.","DOI":"10.1145\/323596.323617"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and R. Fagin, Modelling knowledge and action in distributed systems, Technical Report RJ 6303, IBM, 1988.","DOI":"10.1007\/3-540-50403-6_29"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Proc. 3rd ACM Symp. on Principles of Distributed Computing, 1984, pp. 50\u201361. A revised version appears as IBM Research Report RJ 4421, 1987.","DOI":"10.1145\/800222.806735"},{"key":"3_CR17","unstructured":"J. Y. Halpern and Y. Moses, A guide to the modal logics of knowledge and belief, Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), 1985, pp. 480\u2013490."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and M. Y. Vardi, The complexity of reasoning about knowledge and time, Proc. 18th ACM Symp. on Theory of Computing, 1986, pp. 304\u2013315.","DOI":"10.1145\/12130.12161"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and M. Y. Vardi, The complexity of reasoning about knowledge and time, I: Lower bounds, Journal of Computer and System Sciences, 1988.","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and L. D. Zuck, A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols, Proc. 6th ACM Symp. on Principles of Distributed Computing, 1987, pp. 269\u2013280. A revised version appears as IBM Research Report RJ 5857, 1987.","DOI":"10.1145\/41840.41863"},{"key":"3_CR21","unstructured":"L. Lamport, Paradigms for distributed computing, Methods and tools for specification, an advanced course (M. Paul and H. J. Siegert, eds.), Lecture Notes in Computer Science, Vol. 190, Springer-Verlag, 1985, pp. 19\u201330, 454\u2013468."},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport, On interprocess communication, Part I: Basic formalism, Distributed Computing 1:2, 1986, pp. 77\u201385.","journal-title":"Distributed Computing"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"D. J. Lehmann, Knowledge, common knowledge, and related puzzles, Proc. 3rd ACM Symp. on Principles of Distributed Computing, 1984, pp. 62\u201367.","DOI":"10.1145\/800222.806736"},{"key":"3_CR24","unstructured":"H. Levesque, A logic of implicit and explicit belief, Proc. of National Conference on Artificial Intelligence (AAAI-84), 1984, pp. 198\u2013202."},{"key":"3_CR25","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0304-3975(81)90109-2","volume":"13","author":"N. A. Lynch","year":"1981","unstructured":"N. A. Lynch and M. Fischer, On describing the behavior and implementation of distributed systems, Theoretical Computer Science 13, 1981, pp. 17\u201343.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"3_CR26","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01661170","volume":"1","author":"Y. Moses","year":"1986","unstructured":"Y. Moses, D. Dolev, and J. Y. Halpern, Cheating husbands and other stories: a case study of knowledge, action, and communication, Distributed Computing 1:3, 1986, pp. 167\u2013176.","journal-title":"Distributed Computing"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"R. Milner, A calculus of communicating systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"3_CR28","unstructured":"R. C. Moore, A formal theory of knowledge and action, Formal Theories of the Commonsense World (J. Hobbs and R. C. Moore, eds.), Ablex Publishing Corp., 1985."},{"key":"3_CR29","unstructured":"Y. Moses, Resource-bounded knowledge, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (M. Y. Vardi, ed.), Morgan Kaufmann, 1988, pp. 261\u2013295."},{"key":"3_CR30","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y. Moses","year":"1988","unstructured":"Y. Moses and M. Tuttle, Programming simultaneous actions using common knowledge, Algorithmica 3, 1988, pp. 121\u2013169.","journal-title":"Algorithmica"},{"issue":"1","key":"3_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01770224","volume":"14","author":"J. F. Mertens","year":"1985","unstructured":"J. F. Mertens and S. Zamir, Formulation of Bayesian analysis for games of incomplete information, International Journal of Game Theory 14:1, 1985, pp. 1\u201329.","journal-title":"International Journal of Game Theory"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"G. Neiger and S. Toueg, Substituting for real time and common knowledge in asynchronous distributed systems, Proc. 6th ACM Symp on Principles of Distributed Computing, 1987, pp. 281\u2013293.","DOI":"10.1145\/41840.41864"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"A. Pnueli, The temporal logic of programs, Proc. 18th IEEE Symp. on Foundations of Computer Science, 1977, pp. 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"R. Parikh and R. Ramanujam, Distributed processes and the logic of knowledge, Proc. of the Workshop on Logics of Programs (R. Parikh, ed.), 1985, pp. 256\u2013268.","DOI":"10.1007\/3-540-15648-8_21"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"V. R. Pratt, Semantical considerations on Floyd-Hoare logic, Proc. 17th IEEE Symp. on Foundations of Computer Science, 1976, pp. 109\u2013121.","DOI":"10.1109\/SFCS.1976.27"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"V. R. Pratt, On the composition of processes, Proc. 9th ACM Symp. on Principles of Programming Languages, 1982, pp. 213\u2013223.","DOI":"10.1145\/582153.582177"},{"issue":"1","key":"3_CR37","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. R. Pratt","year":"1985","unstructured":"V. R. Pratt, Modelling concurrency with partial orders, International Journal of Parallel Prgramming 15:1, 1985, pp. 33\u201371.","journal-title":"International Journal of Parallel Prgramming"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"P. Panangaden and S. Taylor, Concurrent common knowledge: a new definition of agreement for asynchronous systems, Proc. 7th ACM Symp. on Principles of Distributed Computing, 1988.","DOI":"10.1145\/62546.62579"},{"key":"3_CR39","unstructured":"R. Smullyan, What is the Name of this Book?, Prentice-Hall, 1978."},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0196-6774(83)90033-0","volume":"4","author":"U. Vishkin","year":"1983","unstructured":"U. Vishkin, Implementation of simultaneous memory access in models that forbid it, Journal of Algorithms 4, 1983, pp. 45\u201350.","journal-title":"Journal of Algorithms"}],"container-title":["Lecture Notes in Computer Science","CONCURRENCY 88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50403-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:46:37Z","timestamp":1742589997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50403-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540504030","9783540459996"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-50403-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}