{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:35Z","timestamp":1725663875620},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:04Z","timestamp":1330208404000},"page":"50-54","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge and probability in distributed systems: Abstract"],"prefix":"10.1007","author":[{"given":"Joseph Y.","family":"Halpern","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"issue":"6","key":"4_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):1236\u20131239, 1976.","journal-title":"Annals of Statistics"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"B. F. Chellas. Modal Logic. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","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):40\u201352, 1986.","journal-title":"Distributed Computing"},{"issue":"2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0890-5401(90)90014-9","volume":"88","author":"C. Dwork","year":"1990","unstructured":"C. Dwork and Y. Moses. Knowledge and common knowledge in a Byzantine environment: crash failures. Information and Computation, 88(2):156\u2013186, 1990.","journal-title":"Information and Computation"},{"key":"4_CR5","unstructured":"R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability: preliminary report. In M. Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 277\u2013293. Morgan Kaufmann, 1988."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"M. J. Fischer and N. Immerman. Foundations of knowledge for distributed systems. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, pages 171\u2013186. Morgan Kaufmann, 1986.","DOI":"10.1016\/B978-0-934613-04-0.50014-4"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"M. J. Fischer and L. D. Zuck. Reasoning about uncertainty in fault-tolerant distributed systems. Technical Report YALEU\/DCS\/TR-643, Yale University, 1988.","DOI":"10.1007\/3-540-50302-1_11"},{"issue":"1","key":"4_CR8","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1137\/0218012","volume":"18","author":"S. Goldwasser","year":"1989","unstructured":"S. Goldwasser, S. Micali, and C. Rackoff. The knowledge complexity of interactive proof systems. SIAM Journal on Computing, 18(1):186\u2013208, February 1989.","journal-title":"SIAM Journal on Computing"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"V. Hadzilacos. A knowledge-theoretic analysis of atomic commitment protocols. In Proc. 6th ACM Symp. on Principles of Database Systems, pages 129\u2013134, 1987. A revised version has been submitted for publication.","DOI":"10.1145\/28659.28672"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern. Using reasoning about knowledge to analyze distributed systems. In J. Traub et al., editors, Annual Review of Computer Science, Vol. 2, pages 37\u201368. Annual Reviews Inc., 1987.","DOI":"10.1146\/annurev.cs.02.060187.000345"},{"key":"4_CR11","unstructured":"G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, 1978."},{"issue":"4","key":"4_CR12","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"J. Y. Halpern","year":"1989","unstructured":"J. Y. Halpern and R. Fagin. Modelling knowledge and action in distributed systems. Distributed Computing, 3(4):159\u2013179, 1989.","journal-title":"Distributed Computing"},{"key":"4_CR13","unstructured":"J. Hintikka. Knowledge and Belief. Cornell University Press, 1962."},{"key":"4_CR14","unstructured":"J. Y. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief. In Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 480\u2013490, 1985."},{"issue":"3","key":"4_CR15","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Y. Halpern","year":"1990","unstructured":"J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549\u2013587, 1990. An early version appeared in Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing, 1984.","journal-title":"Journal of the ACM"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern, Y. Moses, and M. R. Tuttle. A knowledge-based analysis of zero knowledge. In Proc. 20th ACM Symp. on Theory of Computing, pages 132\u2013147, 1988.","DOI":"10.1145\/62212.62224"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern, Y. Moses, and O. Waarts. A characterization of eventual Byzantine agreement. In Proc. 9th ACM Symp. on Principles of Distributed Computing, pages 333\u2013346, 1990.","DOI":"10.1145\/93385.93437"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and M. R. Tuttle. Knowledge, probability, and adversaries. In Proc. 8th ACM Symp. on Principles of Distributed Computing, pages 103\u2013118, 1989.","DOI":"10.1145\/72981.72988"},{"key":"4_CR19","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. In Proc. 6th ACM Symp. on Principles of Distributed Computing, pages 269\u2013280, 1987. A revised and expanded version appears as IBM Research Report RJ 5857, 1987 and will appear in Journal of the ACM.","DOI":"10.1145\/41840.41863"},{"key":"4_CR20","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"W. Lenzen. Recent work in epistemic logic. Acta Philosophica Fennica, 30:1\u2013219, 1978.","journal-title":"Acta Philosophica Fennica"},{"key":"4_CR21","unstructured":"M. S. Mazer. A knowledge theoretic account of recovery in distributed systems: the case of negotiated commitment. In M. Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 309\u2013324. Morgan Kaufmann, 1988."},{"key":"4_CR22","unstructured":"M. S. Mazer. A knowledge-theoretic account of negotiated commitment. PhD thesis, University of Toronto, 1989."},{"key":"4_CR23","unstructured":"R. Michel. Knowledge in distributed Byzantine environments. PhD thesis, Yale University, 1989."},{"key":"4_CR24","unstructured":"Y. Moses. Knowledge in a distributed environment. PhD thesis, Stanford University, 1986."},{"key":"4_CR25","unstructured":"Y. Moses. Resource-bounded knowledge. In M. Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 261\u2013276. Morgan Kaufmann, 1988."},{"key":"4_CR26","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y. Moses","year":"1988","unstructured":"Y. Moses and M. R. Tuttle. Programming simultaneous actions using common knowledge. Algorithmica, 3:121\u2013169, 1988.","journal-title":"Algorithmica"},{"key":"4_CR27","unstructured":"G. Neiger. Knowledge consistency: a useful suspension of disbelief. In M. Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 295\u2013308. Morgan Kaufmann, 1988."},{"key":"4_CR28","unstructured":"Gil Neiger. Techniques for Simplifying the Design of Distributed Systems. PhD thesis, Cornell University, August 1988. Department of Computer Science Technical Report 88-933."},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"G. Neiger and S. Toueg. Substituting for real time and common knowledge in asynchronous distributed systems. In Proc. 6th ACM Symp. on Principles of Distributed Computing, pages 281\u2013293, 1987. To appear, Journal of the ACM.","DOI":"10.1145\/41840.41864"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"R. Parikh and R. Ramanujam. Distributed processing and the logic of knowledge. In R. Parikh, editor, Proc. of the Workshop on Logics of Programs, pages 256\u2013268, 1985.","DOI":"10.1007\/3-540-15648-8_21"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"P. Panangaden and S. Taylor. Concurrent common knowledge: A new definition of agreement for asynchronous systems. In Proc. 7th ACM Symp. on Principles of Distributed Computing, pages 197\u2013209, 1988.","DOI":"10.1145\/62546.62579"},{"key":"4_CR32","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0022-314X(80)90084-0","volume":"12","author":"M. O. Rabin","year":"1980","unstructured":"M. O. Rabin. Probabilistic algorithm for testing primality. Journal of Number Theory, 12:128\u2013138, 1980.","journal-title":"Journal of Number Theory"},{"key":"4_CR33","unstructured":"E. Rasmusen. Games and Information: An Introduction to Game Theory. Basil Blackwell, 1989."},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"S. J. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epistemic properties. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, pages 83\u201397. Morgan Kaufmann, 1986.","DOI":"10.1016\/B978-0-934613-04-0.50009-0"},{"key":"4_CR35","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF03037076","volume":"3","author":"S. J. Rosenschein","year":"1985","unstructured":"S. J. Rosenschein. Formal theories of AI in knowledge and robotics. New Generation Computing, 3:345\u2013357, 1985.","journal-title":"New Generation Computing"},{"key":"4_CR36","unstructured":"M. R. Tuttle. Knowledge and distributed computation. PhD thesis, MIT, 1989."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:36Z","timestamp":1605646296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3540539816_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}