{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T12:10:29Z","timestamp":1737375029607,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414131"},{"type":"electronic","value":"9783540444503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44450-5_40","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:26:08Z","timestamp":1187252768000},"page":"489-502","source":"Crossref","is-referenced-by-count":0,"title":["Concurrent Knowledge and Logical Clock Abstractions"],"prefix":"10.1007","author":[{"given":"Ajay D.","family":"Kshemkalyani","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,11,24]]},"reference":[{"issue":"1","key":"40_CR1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"M. Chandy","year":"1985","unstructured":"M. Chandy, L. Lamport, Finding global states of a distributed system, ACM Trans-actions on Computer Systems 3(1): 63\u201375, 1985.","journal-title":"ACM Trans-actions on Computer Systems"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"M. Chandy","year":"1986","unstructured":"M. Chandy, J. Misra, How processes learn, Distributed Computing 1: 40\u201352, 1986.","journal-title":"Distributed Computing"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0020-0190(91)90055-M","volume":"39","author":"B. Charron-Bost","year":"1991","unstructured":"B. Charron-Bost, Concerning the size of clocks in distributed systems, Information Processing Letters 39: 11\u201316, 1991.","journal-title":"Information Processing Letters"},{"issue":"1","key":"40_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s004460050021","volume":"10","author":"C. Critchlow","year":"1996","unstructured":"C. Critchlow, K. Taylor, The inhibitio spectrum and the achievement of causal consistency, Distributed Computing 10(1): 11\u201327, 1996.","journal-title":"Distributed Computing"},{"doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning about Knowledge,MIT Press, 1995.","key":"40_CR5","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"1","key":"40_CR6","first-page":"56","volume":"10","author":"C. Fidge","year":"1988","unstructured":"C. Fidge, Timestamps in message-passing systems that preserve partial ordering, Australian Computer Science Communications 10(1): 56\u201366, Feb.1988.","journal-title":"Australian Computer Science Communications"},{"issue":"4","key":"40_CR7","first-page":"139","volume":"3","author":"J. Halpern","year":"1989","unstructured":"J. Halpern, R. Fagin, Modeling knowledge and action in distributed systems, Dis-tributed Computing 3(4): 139\u2013179, 1989.","journal-title":"Dis-tributed Computing"},{"issue":"3","key":"40_CR8","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Halpern","year":"1990","unstructured":"J. Halpern, Y. Moses, Knowledge and commo knowledge in a distributed environment, Journal of the ACM 37(3): 549\u2013587, 1990.","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"N. Krishnakumar, A. Bernstei, Bounded ignorance in replicated systems, Proc. ACM Symp. on Principles of Database Systems 1991.","key":"40_CR9","DOI":"10.1145\/113413.113419"},{"issue":"2","key":"40_CR10","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1006\/jcss.1996.0022","volume":"52","author":"A. Kshemkalyani","year":"1996","unstructured":"A. Kshemkalyani, Temporal interactions of intervals in distributed systems, Journal of Computer and System Sciences 52(2): 287\u2013298, Apr.1996.","journal-title":"Journal of Computer and System Sciences"},{"issue":"4","key":"40_CR11","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s004460050048","volume":"11","author":"A. Kshemkalyani","year":"1998","unstructured":"A. Kshemkalyani, Causality and atomicity in distributed computations, Distributed Computing 11(4): 169\u2013189, Oct.1998.","journal-title":"Distributed Computing"},{"unstructured":"A. Kshemkalyani, On continuously attaining levels of concurrent knowledge without control messages, Tech. Rep.UIC-EECS-98-6, Univ. Illinois at Chicago,1998.","key":"40_CR12"},{"issue":"7","key":"40_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport, Time,clocks,and the ordering of events in a distributed system, Communications of the ACM 21(7): 558\u2013565, July 1978.","journal-title":"Communications of the ACM"},{"unstructured":"F. Mattern, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms North-Holland, pp 215\u2013226, 1989.","key":"40_CR14"},{"doi-asserted-by":"crossref","unstructured":"S. Meldal, S. Sankar, J. Vera, Exploiting locality in maintaining potential causality, Proc. 10th ACM Symp. on Principles of Distributed Computing 231\u2013239, 1991.","key":"40_CR15","DOI":"10.1145\/112600.112620"},{"issue":"2","key":"40_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF02252679","volume":"6","author":"P. Panangade","year":"1992","unstructured":"P. Panangade, K. Taylor, Concurrent commo knowledge: Defining agreement for asy chronous systems, Distributed Computing 6(2): 73\u201394, Sept.1992.","journal-title":"Distributed Computing"},{"issue":"1","key":"40_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF02811342","volume":"17","author":"R. Parikh","year":"1992","unstructured":"R. Parikh, P. Krasucki, Levels of knowledge in distributed computing, Sadhana Journal 17(1): 167\u2013191, 1992.","journal-title":"Sadhana Journal"},{"issue":"1","key":"40_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/TSE.1987.232564","volume":"13","author":"S. Sarin","year":"1987","unstructured":"S. Sarin, N. Lynch, Discarding obsolete information in a distributed database system, IEEE Transactions on Software Engineering 13(1): 39\u201346, 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"40_CR19","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0020-0190(92)90028-T","volume":"43","author":"M. Singhal","year":"1992","unstructured":"M. Singhal, A. Kshemkalyani, Efficient implementation of vector clocks, Information Processing Letters 43, 47\u201352, Aug.1992.","journal-title":"Information Processing Letters"},{"doi-asserted-by":"crossref","unstructured":"G. Wuu, A. Bernstei, Effcient solutions to the replicated log and dictionary problems, Proc. 3rd ACM Symp. on Principles of Distributed Computing 232\u2013242,1984.","key":"40_CR20","DOI":"10.1145\/800222.806750"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44450-5_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:29:46Z","timestamp":1737372586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44450-5_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414131","9783540444503"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44450-5_40","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}