{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:05Z","timestamp":1725664985717},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643593"},{"type":"electronic","value":"9783540697565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64359-1_780","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:38:25Z","timestamp":1330281505000},"page":"1140-1152","source":"Crossref","is-referenced-by-count":0,"title":["Testing of synchronization conditions for distributed real-time applications"],"prefix":"10.1007","author":[{"given":"Ajay D.","family":"Kshemkalyani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"117_CR1","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, WP. de Roever, G. Rozenberg (Eds.), Linear Time, Branching Time, and Partial Orders in Logics and Models of Concurrency, LNCS 354, Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013019"},{"key":"117_CR2","unstructured":"J. van Benthem, The Logic of Time, Kluwer Academic Publishers, (1 ed. 1983), 2ed. 1991."},{"key":"117_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"K. M. Chandy","year":"1986","unstructured":"K. M. Chandy, J. Misra, How Processes Learn, Distributed Computing, 1, 40\u201352, 1986.","journal-title":"Distributed Computing"},{"issue":"1","key":"117_CR4","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, Vol. 10, No. 1, 56\u201366, February 1988.","journal-title":"Australian Computer Science Communications"},{"key":"117_CR5","doi-asserted-by":"crossref","unstructured":"P.C. Fishburn, Interval Orders and Interval Graphs: A Study ofPartially Ordered Sets, Wiley & Sons, 1985.","DOI":"10.1016\/0012-365X(85)90042-1"},{"issue":"3","key":"117_CR6","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01088521","volume":"7","author":"F. Jahanian","year":"1994","unstructured":"F. Jahanian, R. Rajkumar, S. Raju, Run-time monitoring of timing constraints in distributed real-time systems, Real-Time Systems, 7(3), 247\u2013273, Nov. 1994.","journal-title":"Real-Time Systems"},{"key":"117_CR7","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, J. Zwiers, Action systems and action refinement in the development of parallel systems, Concur'91, LNCS 527, Springer-Verlag, 298\u2013316, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"117_CR8","unstructured":"A. Kshemkalyani, Temporal interactions of intervals in distributed systems, Tech. Report 29.1933, IBM, Sept. 1994."},{"issue":"2","key":"117_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"},{"key":"117_CR10","doi-asserted-by":"crossref","unstructured":"A. Kshemkalyani, A framework for viewing atomic events in distributed computations, Theoretical Computer Science (to appear). (Extended abstract appears in EuroPar'96, LNCS 1123, Springer-Verlag, 496\u2013505, Aug. 1996.)","DOI":"10.1007\/3-540-61626-8_67"},{"key":"117_CR11","doi-asserted-by":"crossref","unstructured":"A. Kshemkalyani, Synchronization for distributed real-time applications, 5th Workshop on Parallel and Distributed Real-time Systems, IEEE Computer Society Press, 81\u201390, April 1997.","DOI":"10.1109\/WPDRTS.1997.637867"},{"key":"117_CR12","unstructured":"A. Kshemkalyani, Relative timing constraints between complex events, Proc. 8th IASTED Conf on Parallel and Distributed Computing and Systems, 324\u2013326, Oct. 1996."},{"key":"117_CR13","doi-asserted-by":"crossref","unstructured":"A. Kshemkalyani, Causality between nonatomic poset events in distributed computations, IEEE Workshop on Future Trends in Distributed Computing Systems, 276\u2013282, Oct. 1997.","DOI":"10.1109\/FTDCS.1997.644738"},{"issue":"7","key":"117_CR14","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, 558\u2013565, 21(7), July 1978.","journal-title":"Communications of the ACM"},{"key":"117_CR15","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":"117_CR16","unstructured":"F. Mattern, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, North-Holland, 215\u2013226,1989."},{"key":"117_CR17","doi-asserted-by":"crossref","unstructured":"E.R. Olderog, Nets, Terms, and Formulas, Cambridge Tracts in Theoretical Computer Science, 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"117_CR18","unstructured":"A. Rensink, Models and Methods forAction Refinement, Ph.D. thesis, University of Twente, The Netherlands, Aug. 1993."},{"key":"117_CR19","doi-asserted-by":"crossref","unstructured":"R. Rajkumar, Synchronization in Real-Time Systems, Kluwer Academic Press, 1991.","DOI":"10.1007\/978-1-4615-4000-7"},{"key":"117_CR20","doi-asserted-by":"crossref","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","Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64359-1_780.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:20:37Z","timestamp":1605630037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64359-1_780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643593","9783540697565"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-64359-1_780","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}