{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T08:51:38Z","timestamp":1768553498264,"version":"3.49.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1989,12,1]],"date-time":"1989-12-01T00:00:00Z","timestamp":628473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1989,12]]},"DOI":"10.1007\/bf01784885","type":"journal-article","created":{"date-parts":[[2005,6,19]],"date-time":"2005-06-19T22:03:02Z","timestamp":1119218582000},"page":"159-177","source":"Crossref","is-referenced-by-count":87,"title":["Modelling knowledge and action in distributed systems"],"prefix":"10.1007","volume":"3","author":[{"given":"Joseph Y.","family":"Halpern","sequence":"first","affiliation":[]},{"given":"Ronald","family":"Fagin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01784885_CR1","doi-asserted-by":"crossref","unstructured":"Aho AV, Ullman JD, Yannakakis M (1979) Modeling communication protocols by automata. Proc. 20th IEEE Symp on Foundations of Computer Science, pp 267\u2013273","DOI":"10.1109\/SFCS.1979.23"},{"key":"BF01784885_CR2","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0898-1221(82)90043-8","volume":"8","author":"AV Aho","year":"1982","unstructured":"Aho AV, Ullman JD, Wyner AD, Yannakakis M (1982) Bounds on the size and transmission rate of communication protocols. Comp Math Appl 8:205\u2013214 (this is a later version of Aho et al. (1979)","journal-title":"Comp Math Appl"},{"key":"BF01784885_CR3","doi-asserted-by":"crossref","first-page":"1236","DOI":"10.1214\/aos\/1176343654","volume":"4","author":"RJ Aumann","year":"1976","unstructured":"Aumann RJ (1976) Agreeing to disagree. Ann Stat 4:1236\u20131239","journal-title":"Ann Stat"},{"key":"BF01784885_CR4","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"KA Bartlett","year":"1969","unstructured":"Bartlett KA, Scantlebury RA, Wilkinson PT (1969) A note on reliable full-duplex transmission over half-duplex links. Commun ACM 12:260\u2013261","journal-title":"Commun ACM"},{"key":"BF01784885_CR5","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"KM Chandy","year":"1986","unstructured":"Chandy KM, Misra J (1986) How processes learn. Distrib Comput 1:40\u201352","journal-title":"Distrib Comput"},{"key":"BF01784885_CR6","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/B978-0-934613-04-0.50013-2","volume-title":"Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 Conference","author":"C Dwork","year":"1986","unstructured":"Dwork C, Moses Y (1986) Knowledge and common knowledge in a Byzantine environment I: crash failures (extended abstract). In: Halpern JY (ed) Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 Conference. Morgan Kaufmann, San Mateo, CA, pp 149\u2013170 (to appear in Information and Computation)"},{"key":"BF01784885_CR7","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/B978-0-934613-04-0.50015-6","volume-title":"Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 Conference","author":"R Fagin","year":"1986","unstructured":"Fagin R, Vardi MY (1986) Knowledge and implicit knowledge in a distributed environment: preliminary report. In: Halpern JY (ed) Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 Conference. Morgan Kaufmann, San Mateo, CA, pp 187\u2013206"},{"key":"BF01784885_CR8","unstructured":"Fagin R, Halpern JY, Vardi MY (1986) What can machines know? On the epistemic properties of machines Proc Nat Conf on Artificial Intelligence (AAAI-86), pp 428\u2013434 (A revised and expanded version appears as IBM Research Report RJ 6250, 1988, under the name What can machines know? On the properties of knowledge in distributed systems)"},{"key":"BF01784885_CR9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin R, Halpern JY (1988a) Belief, awareness, and limited reasoning. Artif Intell 34: 39\u201376","journal-title":"Artif Intell"},{"key":"BF01784885_CR10","first-page":"277","volume-title":"Proceedings of the 2nd Conference on Theoretical Aspects of reasoning about knowledge (1986)","author":"R Fagin","year":"1988","unstructured":"Fagin R, Halpern JY (1988b) Reasoning about knowledge and probability: preliminary report. In: Vardi MY (ed) Proceedings of the 2nd Conference on Theoretical Aspects of reasoning about knowledge (1986). Morgan Kaufmann, San Mateo, CA, pp. 277\u2013293"},{"key":"BF01784885_CR11","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/B978-0-934613-04-0.50014-4","volume-title":"Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 Conference","author":"MJ Fischer","year":"1986","unstructured":"Fischer MJ, Immerman N (1986) Foundations of knowledge for distributed systems. In: Halpern JY (ed) Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 Conference. Morgan Kaufmann, San Mateo, CA, pp 171\u2013186"},{"key":"BF01784885_CR12","doi-asserted-by":"crossref","unstructured":"Fortune S, Wyllie J (1978) Parallelism in random access machines. Proc. 10th ACM Symp on Theory of Computing, pp 114\u2013118","DOI":"10.1145\/800133.804339"},{"key":"BF01784885_CR13","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1145\/322344.322353","volume":"29","author":"L Goldschlager","year":"1982","unstructured":"Goldschlager L (1982) A unified approach to models of synchronous parallel machines. J ACM 29:1073\u20131086","journal-title":"J ACM"},{"key":"BF01784885_CR14","doi-asserted-by":"crossref","unstructured":"Hadzilacos V (1987) A knowledge-theoretic analysis of atomic commitment protocols. Proc 6th ACM Symp on Principles of Database Systems, pp 129\u2013134","DOI":"10.1145\/28659.28672"},{"key":"BF01784885_CR15","series-title":"Lect Not Computer Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic","author":"D Harel","year":"1979","unstructured":"Harel D (1979) First-Order Dynamic Logic (Lect Not Computer Sci, vol. 68) Springer, Berlin Heidelberg New York"},{"key":"BF01784885_CR16","doi-asserted-by":"crossref","unstructured":"Halpern JY (1987) Using reasoning about knowledge to analyze distributed systems. In: Traub J (ed) Annual Review of Computer Science, vol 2. Annual Reviews, pp 37\u201368","DOI":"10.1146\/annurev.cs.02.060187.000345"},{"key":"BF01784885_CR17","doi-asserted-by":"crossref","unstructured":"Halpern JY, Fagin R (1985) A formal model of knowledge, action, and communication in distributed systems: preliminary report. Proc 4th ACM Symp on Principles of Distributed Computing, pp 224\u2013236","DOI":"10.1145\/323596.323617"},{"key":"BF01784885_CR18","doi-asserted-by":"crossref","unstructured":"Halpern JY, Moses Y (1984) Knowledge and common knowledge in a distributed environment. Proc. 3rd ACM Symp on Principles of Distributed Computing, pp 50\u201361 (a revised and expanded version appears as IBM Research Report RJ 4421, 1988)","DOI":"10.1145\/800222.806735"},{"key":"BF01784885_CR19","unstructured":"Halpern JY, Moses Y (1985) A guide to the modal logics of knowledge and belief. 9th Int Joint Conf on Artificial Intelligence (IJCAI-85), pp 480\u2013490"},{"key":"BF01784885_CR20","doi-asserted-by":"crossref","unstructured":"Halpern JY, Vardi MY (1986) The complexity of reasoning about knowledge and time. Proc. 18th ACM Symp on Theory of Computing, pp 304\u2013315","DOI":"10.1145\/12130.12161"},{"key":"BF01784885_CR21","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"JY Halpern","year":"1989","unstructured":"Halpern JY, Vardi MY (1989) The complexity of reasoning about knowledge and time, I: Lower bounds. J Comput Syst Sci 38:195\u2013237","journal-title":"J Comput Syst Sci"},{"key":"BF01784885_CR22","doi-asserted-by":"crossref","unstructured":"Halpern JY, Zuck LD (1987) 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, pp 269\u2013280 (a revised and expanded version appears as IBM Research Report RJ 5857, 1987)","DOI":"10.1145\/41840.41863"},{"key":"BF01784885_CR23","series-title":"Lect Notes Comput Sci","first-page":"19","volume-title":"Methods and tools for specification, an advanced course","author":"L Lamport","year":"1985","unstructured":"Lamport L (1985) Paradigms for distributed computing. In: Methods and tools for specification, an advanced course. Paul M, Siegert HJ (eds) (Lect Notes Comput Sci, vol 190) Springer, Berlin Heidelberg New York Tokyo, pp 19\u201330, 454\u2013468"},{"key":"BF01784885_CR24","doi-asserted-by":"crossref","unstructured":"Lamport L (1986) On interprocess communication, Part I: Basic formalism. Distrib Comput 77\u201385","DOI":"10.1007\/BF01786227"},{"key":"BF01784885_CR25","unstructured":"Lehmann DJ (1984) Knowledge, common knowledge, and related puzzles. Proc. 3rd ACM Symp on Principles of Distributed Computing, pp 62\u201367"},{"key":"BF01784885_CR26","unstructured":"Levesque H (1984) A logic of implicit and explicit belief. Proc Nat Conf on Artificial Intelligence (AAAI-84), pp 198\u2013202"},{"key":"BF01784885_CR27","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0304-3975(81)90109-2","volume":"13","author":"NA Lynch","year":"1981","unstructured":"Lynch NA, Fischer M (1981) On describing the behavior and implementation of distributed systems. Theor Comput Sci 13:17\u201343","journal-title":"Theor Comput Sci"},{"key":"BF01784885_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-15648-8_16","volume-title":"Proc of the Workshop on Logics of Programs","author":"O Lichtenstein","year":"1985","unstructured":"Lichtenstein O, Pnueli A, Zuck L (1985) The glory of the past. In: Rohit Parikh (ed) Proc of the Workshop on Logics of Programs. (Lect Notes Comput Sci, Vol. 193) Springer, Berlin Heidelberg New York Tokyo, pp 196\u2013218"},{"key":"BF01784885_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01770224","volume":"14","author":"JF Mertens","year":"1985","unstructured":"Mertens JF, Zamir S (1985) Formulation of Bayesian analysis for games of incomplete information. Int J Game Theory 14:1\u201329","journal-title":"Int J Game Theory"},{"key":"BF01784885_CR30","series-title":"Lect Not Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1980","unstructured":"Milner R (1980) A calculus of communicating systems (Lect Not Comput Sci, vol 92) Springer, Berlin Heidelberg New York"},{"key":"BF01784885_CR31","volume-title":"Formal Theories of the Commonsense World","author":"RC Moore","year":"1985","unstructured":"Moore RC (1985) A formal theory of knowledge and action. In Hobbs J, Moore RC (eds) Formal Theories of the Commonsense World. Ablex, Norwood, NJ"},{"key":"BF01784885_CR32","first-page":"261","volume-title":"2nd Conf on Theoretical Aspects of Reasoning about Knowledge","author":"Y Moses","year":"1988","unstructured":"Moses Y (1988) Resource-bounded knowledge. In: Vardi MY (ed) 2nd Conf on Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann, San Mateo, CA, pp 261\u2013276"},{"key":"BF01784885_CR33","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y Moses","year":"1988","unstructured":"Moses Y, Tuttle MR (1988) Programming simultaneous actions using common knowledge. Algorithmica 3:121\u2013169","journal-title":"Algorithmica"},{"key":"BF01784885_CR34","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01661170","volume":"1","author":"Y Moses","year":"1986","unstructured":"Moses Y, Dolev D, Halpern JY (1986) Cheating husbands and other stories: a case study of knowledge, action, and communication. Distrib Comput 1:167\u2013176","journal-title":"Distrib Comput"},{"key":"BF01784885_CR35","doi-asserted-by":"crossref","unstructured":"Neiger G, Toueg S (1987) Substituting for real time and common knowledge in asynchronous distributed systems. Proc 6th ACM Symp on Principles of Distributed Computing, pp 281\u2013293","DOI":"10.1145\/41840.41864"},{"key":"BF01784885_CR36","doi-asserted-by":"crossref","unstructured":"Panangaden P, Taylor S (1988) Concurrent common knowledge: a new definition of agreement for asynchronous systems. Proc 7th ACM Symp on Principles of Distributed Computing, pp 197\u2013209","DOI":"10.1145\/62546.62579"},{"key":"BF01784885_CR37","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Proc of the Workshop on Logic of Programs","author":"R Parikh","year":"1985","unstructured":"Parikh R, Ramanujam R (1985) Distributed processes and the logic of knowledge. In: Parikh R (ed) Proc of the Workshop on Logic of Programs. (Lect Notes Comput Sci, vol 193) Springer, Berlin Heidelberg New York Tokyo, pp 256\u2013268"},{"key":"BF01784885_CR38","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. Proc 18th IEEE Symp on Foundations of Computer Science, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"BF01784885_CR39","unstructured":"Pratt VR (1976) Semantical considerations on Floyd-Hoare logic. Proc 17th IEEE Symp on Foundations of Computer Science, pp 109\u2013121"},{"key":"BF01784885_CR40","doi-asserted-by":"crossref","unstructured":"Pratt VR (1982) On the composition of processes. Proc 9th ACM Symp on Principles of Programming Languages, pp 213\u2013223","DOI":"10.1145\/582153.582177"},{"key":"BF01784885_CR41","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"VR Pratt","year":"1985","unstructured":"Pratt VR (1985) Modelling concurrency with partial orders. Int J Parallel Program 15:33\u201371","journal-title":"Int J Parallel Program"},{"key":"BF01784885_CR42","volume-title":"What is the Name of this Book?","author":"R Smullyan","year":"1978","unstructured":"Smullyan R (1978) What is the Name of this Book? Prentice-Hall, Englewood Clifts, NJ"},{"key":"BF01784885_CR43","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0196-6774(83)90033-0","volume":"4","author":"U Vishkin","year":"1983","unstructured":"Vishkin U (1983) Implementation of simultaneous memory access in models that forbit it. J Algorithms 4:45\u201350","journal-title":"J Algorithms"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01784885.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01784885\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01784885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T09:38:51Z","timestamp":1557394731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01784885"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,12]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,12]]}},"alternative-id":["BF01784885"],"URL":"https:\/\/doi.org\/10.1007\/bf01784885","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,12]]}}}