{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:11:20Z","timestamp":1725563480261},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642157622"},{"type":"electronic","value":"9783642157639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15763-9_42","type":"book-chapter","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T05:48:44Z","timestamp":1282628924000},"page":"421-436","source":"Crossref","is-referenced-by-count":5,"title":["Beyond Lamport\u2019s Happened-Before: On the Role of Time Bounds in Synchronous Systems"],"prefix":"10.1007","author":[{"given":"Ido","family":"Ben-Zvi","sequence":"first","affiliation":[]},{"given":"Yoram","family":"Moses","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"42_CR1","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1214\/aos\/1176343654","volume":"4","author":"R.J. Aumann","year":"1976","unstructured":"Aumann, R.J.: Agreeing to disagree. Annals of Statistics\u00a04(6), 1236\u20131239 (1976)","journal-title":"Annals of Statistics"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"Ben-Zvi, I., Moses, Y.: Sufficient conditions for knowledge gain and information flow in synchronous systems (2010) (in preparation)","DOI":"10.1109\/EEEI.2010.5662143"},{"issue":"1","key":"42_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"K.M. Chandy","year":"1986","unstructured":"Chandy, K.M., Misra, J.: How processes learn. Distributed Computing\u00a01(1), 40\u201352 (1986)","journal-title":"Distributed Computing"},{"key":"42_CR4","volume-title":"Elements of Discourse Understanding","author":"H.H. Clark","year":"1981","unstructured":"Clark, H.H., Marshall, C.R.: Definite reference and mutual knowledge. In: Joshi, A.K., Webber, B.L., Sag, I.A. (eds.) Elements of Discourse Understanding. Cambridge University Press, Cambridge (1981)"},{"issue":"5","key":"42_CR5","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"22","author":"W. Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.E.: New directions in cryptography. IEEE Transactions on Information Theory\u00a022(5), 644\u2013654 (1976)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"2","key":"42_CR6","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0890-5401(90)90014-9","volume":"88","author":"C. Dwork","year":"1990","unstructured":"Dwork, C., Moses, Y.: Knowledge and common knowledge in a Byzantine environment: crash failures. Information and Computation\u00a088(2), 156\u2013186 (1990)","journal-title":"Information and Computation"},{"key":"42_CR7","first-page":"283","volume-title":"Proc. 6th TARK","author":"R. Fagin","year":"1996","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Common knowledge revisited. In: Proc. 6th TARK, pp. 283\u2013298. Morgan Kaufmann, San Francisco (1996)"},{"key":"42_CR8","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (2003)"},{"issue":"1","key":"42_CR9","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1137\/0218012","volume":"18","author":"S. Goldwasser","year":"1989","unstructured":"Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof systems. SIAM Journal on Computing\u00a018(1), 186\u2013208 (1989)","journal-title":"SIAM Journal on Computing"},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"Grice, H.P.: Logic and conversation, pp. 41\u201358 (1975)","DOI":"10.1163\/9789004368811_003"},{"issue":"1","key":"42_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01187074","volume":"26","author":"V. Hadzilacos","year":"1993","unstructured":"Hadzilacos, V., Halpern, J.Y.: Message-optimal protocols for byzantine agreement. Mathematical Systems Theory\u00a026(1), 41\u2013102 (1993)","journal-title":"Mathematical Systems Theory"},{"issue":"3","key":"42_CR12","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"Journal of the ACM"},{"key":"42_CR13","first-page":"267","volume-title":"Proc. 5th TARK","author":"P.J. Krasucki","year":"1994","unstructured":"Krasucki, P.J., Ramanujam, R.: Knowledge and the ordering of events in distributed systems (extended abstract). In: Proc. 5th TARK, pp. 267\u2013283. Morgan Kaufmann, San Francisco (1994)"},{"issue":"7","key":"42_CR14","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"42_CR15","volume-title":"Convention, A Philosophical Study","author":"D. Lewis","year":"1969","unstructured":"Lewis, D.: Convention, A Philosophical Study. Harvard University Press, Cambridge (1969)"},{"key":"42_CR16","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Michie, D. (ed.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"issue":"5","key":"42_CR17","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s00446-007-0049-6","volume":"20","author":"T. Mizrahi","year":"2008","unstructured":"Mizrahi, T., Moses, Y.: Continuous consensus via common knowledge. Distributed Computing\u00a020(5), 305\u2013321 (2008)","journal-title":"Distributed Computing"},{"key":"42_CR18","doi-asserted-by":"crossref","unstructured":"Moses, Y., Bloom, B.: Knowledge, timed precedence and clocks. In: Proc.\u00a013th ACM Symp.\u00a0on Principles of Distributed Computing, pp. 294\u2013303 (1994)","DOI":"10.1145\/197917.198113"},{"key":"42_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y. Moses","year":"1988","unstructured":"Moses, Y., Tuttle, M.R.: Programming simultaneous actions using common knowledge. Algorithmica\u00a03, 121\u2013169 (1988)","journal-title":"Algorithmica"},{"key":"42_CR20","first-page":"1","volume-title":"Proc. 4th TARK","author":"Y. Moses","year":"1992","unstructured":"Moses, Y.: Knowledge and communication: a tutorial. In: Proc. 4th TARK, pp. 1\u201314. Morgan Kaufmann, San Francisco (1992)"},{"key":"42_CR21","first-page":"481","volume-title":"Logic from Computer Science, MSRI Publication No. 21","author":"R. Parikh","year":"1991","unstructured":"Parikh, R.: Finite and infinite dialogues. In: Moschovakis, Y.N. (ed.) Logic from Computer Science, MSRI Publication No. 21, pp. 481\u2013497. Springer, Heidelberg (1991)"},{"issue":"1","key":"42_CR22","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF02811342","volume":"17","author":"R. Parikh","year":"1992","unstructured":"Parikh, R., Krasucki, P.: Levels of knowledge in distributed computing. S\u0101dhan\u0101\u00a017(1), 167\u2013191 (1992)","journal-title":"S\u0101dhan\u0101"},{"key":"42_CR23","doi-asserted-by":"crossref","unstructured":"Patt-Shamir, B., Rajsbaum, S.: A theory of clock synchronization (extended abstract). In: Proc. 26th ACM STOC, pp. 810\u2013819 (1994)","DOI":"10.1145\/195058.195466"},{"key":"42_CR24","unstructured":"Rabin, M.O.: How to exchange secrets with oblivious transfer. Cryptology ePrint Archive, Report 2005\/187 (2005), Originally written in (1981)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15763-9_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:39:50Z","timestamp":1606167590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15763-9_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642157622","9783642157639"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15763-9_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}