{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:21:11Z","timestamp":1736572871727,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649526"},{"type":"electronic","value":"9783540499206"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057904","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T15:01:27Z","timestamp":1154444487000},"page":"578-590","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Significance and uses of fine-grained synchronization relations"],"prefix":"10.1007","author":[{"given":"Ajay D.","family":"Kshemkalyani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,30]]},"reference":[{"key":"70_CR1","unstructured":"Linear time, branching time, and partial orders in logics and models of concurrency, J. W. de Bakker, W. P. de Roever, G. Rozenberg (Eds.), LNCS 354, Springer-Verlag, 1989."},{"key":"70_CR2","doi-asserted-by":"crossref","unstructured":"J. V. Benthem, The Logic of Time, Kluwer Academic Publishers, (1ed, 1983), 2ed. 1991.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"70_CR3","doi-asserted-by":"crossref","unstructured":"R. Cooper, K. Marzullo, Consistent detection of global predicates, ACM\/ONR Workshop on Parallel and Distributed Debugging, 163\u2013173, May 1991.","DOI":"10.1145\/122759.122774"},{"issue":"No.1","key":"70_CR4","first-page":"56","volume":"10","author":"C. A. Fidge","year":"1988","unstructured":"C. A. Fidge, Timestamps in message-passing systems that preserve partial ordering, Australian Computer Science Communications, Vol. 10, No. 1, 56\u201366, Feb. 1988.","journal-title":"Australian Computer Science Communications"},{"key":"70_CR5","doi-asserted-by":"crossref","unstructured":"P. C. Fishburn, Interval Orders and Interval Graphs: A Study of Partially Ordered Sets, J. Wiley & Sons, 1985.","DOI":"10.1016\/0012-365X(85)90042-1"},{"issue":"3","key":"70_CR6","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/71.277788","volume":"5","author":"V. Garg","year":"1994","unstructured":"V. Garg, B. Waldecker, Detection of weak unstable predicates in distributed programs, IEEE Transactions on Parallel and Distributed Systems, 5(3), 299\u2013307, March 1994.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"70_CR7","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, J. Zwiers, Action systems and action refinement in the development of parallel systems, In J.C. Baeten, J.F. Groote, (Eds.) Concur91, LNCS 527, Springer-Verlag, 298\u2013316, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"70_CR8","unstructured":"A. Kshemkalyani, Temporal interactions of intervals in distributed systems, TR-29.1933, IBM, Sept. 1994."},{"issue":"2","key":"70_CR9","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, April 1996. (Contains some parts of [8]).","journal-title":"Journal of Computer and System Sciences"},{"issue":"1\u20132","key":"70_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0304-3975(97)00195-3","volume":"196","author":"A. Kshemkalyani","year":"1998","unstructured":"A. Kshemkalyani, Framework for viewing atomic events in distributed computations, Theoretical Computer Science, 196(1\u20132): 45\u201370, April 1998.","journal-title":"Theoretical Computer Science"},{"key":"70_CR11","unstructured":"A. Kshemkalyani, Relative timing constraints between complex events, 8th IASTED Conf. on Parallel and Distributed Computing and Systems, 324\u2013326, Oct. 1996."},{"key":"70_CR12","doi-asserted-by":"crossref","unstructured":"A. Kshemkalyani, Synchronization for distributed real-time applications, 5th Workshop on Parallel and Distributed Real-time Systems, IEEE CS Press, 81\u201390, April 1997.","DOI":"10.1109\/WPDRTS.1997.637867"},{"issue":"7","key":"70_CR13","doi-asserted-by":"crossref","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, CACM, 558\u2013565, 21(7), July 1978.","journal-title":"CACM"},{"key":"70_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport, On interprocess communication, Part I: Basic formalism, Part II: Algorithms, Distributed Computing, 1:77\u2013101, 1986.","journal-title":"Distributed Computing"},{"key":"70_CR15","unstructured":"F. Mattern, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, North-Holland, 215\u2013226, 1989."},{"key":"70_CR16","first-page":"3","volume":"78","author":"F. Mattern","year":"1992","unstructured":"F. Mattern, On the relativistic structure of logical time in distributed systems, In: Datation et Controle des Executions Reparties, Bigre, 78 (ISSN 0221-525), 3\u201320, 1992.","journal-title":"Bigre"},{"issue":"1","key":"70_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/103727.103729","volume":"9","author":"J. Mellor-Crummey","year":"1991","unstructured":"J. Mellor-Crummey, M. Scott, Algorithms for scalable synchronization on shared-memory multiprocessors, ACM Transactions on Computer Systems, 9(1): 21\u201365, Feb. 1991.","journal-title":"ACM Transactions on Computer Systems"},{"key":"70_CR18","doi-asserted-by":"crossref","unstructured":"E.R. Olderog, Nets, Terms, and Formulas, Cambridge Tracts in Theoretical Computer Science, 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"70_CR19","volume-title":"Ph.D. thesis","author":"A. Rensink","year":"1993","unstructured":"A. Rensink, Models and Methods for Action Refinement, Ph.D. thesis, University of Twente, The Netherlands, Aug. 1993."},{"key":"70_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwarz","year":"1994","unstructured":"R. Schwarz, F. Mattern, Detecting causal relationships in distributed computations: In search of the holy grail, Distributed Computing, 7:149\u2013174, 1994.","journal-title":"Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","Euro-Par\u201998 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T08:11:52Z","timestamp":1736496712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649526","9783540499206"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0057904","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"30 June 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}