{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:20:26Z","timestamp":1725524426212},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_9","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T03:54:23Z","timestamp":1356062063000},"page":"97-108","source":"Crossref","is-referenced-by-count":8,"title":["Agent-Time Epistemics and Coordination"],"prefix":"10.1007","author":[{"given":"Ido","family":"Ben-Zvi","sequence":"first","affiliation":[]},{"given":"Yoram","family":"Moses","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.: Logics and Models of Real-time: A Survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX Workshop 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics. Elsevier (2006)","key":"9_CR2","DOI":"10.1016\/S1570-2464(07)80017-6"},{"unstructured":"Ben-Zvi, I.: Causality, Knowledge and Coordination in Distributed Systems. PhD thesis, Technion, Israel (2011)","key":"9_CR3"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-3-642-15763-9_42","volume-title":"Distributed Computing","author":"I. Ben-Zvi","year":"2010","unstructured":"Ben-Zvi, I., Moses, Y.: Beyond Lamport\u2019s Happened-Before: On the Role of Time Bounds in Synchronous Systems. In: Lynch, N.A., Shvartsman, A.A. (eds.) DISC 2010. LNCS, vol.\u00a06343, pp. 421\u2013436. Springer, Heidelberg (2010)"},{"issue":"3-4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.3166\/jancl.21.323-354","volume":"21","author":"I. Ben-Zvi","year":"2011","unstructured":"Ben-Zvi, I., Moses, Y.: On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics\u00a021(3-4), 323\u2013354 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"9_CR6","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":"9_CR7","first-page":"283","volume-title":"Proc.\u00a0Sixth Conference on Theoretical Aspects of Rationality and Knowledge","author":"R. Fagin","year":"1996","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Common knowledge revisited. In: Shoham, Y. (ed.) Proc.\u00a0Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pp. 283\u2013298. Morgan Kaufmann, San Francisco (1996)"},{"key":"9_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)"},{"unstructured":"Gonczarowski, Y., Moses, Y.: Timely common knowledge: Characterising asymmetric distributed coordination via vectorial fixed points (in preparation, 2012)","key":"9_CR9"},{"issue":"3","key":"9_CR10","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); A preliminary version appeared in Proc.\u00a03rd ACM Symposium on Principles of Distributed Computing (1984)","journal-title":"Journal of the ACM"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time, I: lower bounds. Journal of Computer and System Sciences\u00a038(1), 195\u2013237 (1989)","journal-title":"Journal of Computer and System Sciences"},{"issue":"7","key":"9_CR12","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"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:40:43Z","timestamp":1558302043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}