{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:07Z","timestamp":1725455707443},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584490"},{"type":"electronic","value":"9783540487999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0020444","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:21:02Z","timestamp":1131862862000},"page":"340-354","source":"Crossref","is-referenced-by-count":1,"title":["Breakpoints and time in distributed computations"],"prefix":"10.1007","author":[{"given":"Twan","family":"Basten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"25_CR1","volume-title":"Informatik-Bericht 94\/1","author":"A.A. Basten","year":"1994","unstructured":"A.A. Basten. Event Abstraction in Modeling Distributed Computations. In K. Ecker, editor, Proceedings of the Workshop on Parallel Processing, Lessach, Austria, September 1993. Informatik-Bericht 94\/1, Technische Universit\u00e4t Clausthal, Germany, January 1994."},{"key":"25_CR2","volume-title":"Computing Science Note 94\/06","author":"A.A. Basten","year":"1994","unstructured":"A.A. Basten, T. Kunz, J.P. Black, M.H. Coffin, and D.J. Taylor. Time and the Order of Abstract Events in Distributed Computations. Computing Science Note 94\/06, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, February 1994. Submitted 01-02-1994 to Distributed Computing, 29pp in ms."},{"issue":"1","key":"25_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/69215.69217","volume":"24","author":"P.C. Bates","year":"1989","unstructured":"P.C. Bates. Debugging Heterogeneous Distributed Systems using Event-Based Models of Behavior. ACM SIGPLAN Notices, 24(1):11\u201322, January 1989. Proeedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, May, 1988.","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"K.M. Chandy and L. Lamport. Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computer Systems, 3(1):63\u201375, February 1985.","journal-title":"ACM Transactions on Computer Systems"},{"key":"25_CR5","first-page":"45","volume-title":"Distributed Algorithms, volume 392 of Lecture Notes in Computer Science","author":"B. Charron-Bost","year":"1989","unstructured":"B. Charron-Bost. Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory. In J.-C. Bermond and M. Raynal, editors, Distributed Algorithms, volume 392 of Lecture Notes in Computer Science, pages 45\u201356. Springer Verlag, Berlin, Germany, 1989. Proceedings of WDAG '89, Nice, France, September 1989."},{"key":"25_CR6","volume-title":"Technical Report LITP 91.55","author":"B. Charron-Bost","year":"1991","unstructured":"B. Charron-Bost, F. Mattern, and G. Tel. Synchronous and Asynchronous Communication in Distributed Computations. Technical Report LITP 91.55, Institut Blaise Pascal, Universit\u00e9 Paris 7, Paris, France, September 1991."},{"issue":"12","key":"25_CR7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/127695.122774","volume":"26","author":"R. Cooper","year":"1991","unstructured":"R. Cooper and K. Marzullo. Consistent Detection of Global Predicates. In Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pages 163\u2013173, Santa Cruz, California, May 1991. The proceedings appeared also as ACM SIGPLAN Notices, 26(12), December 1991.","journal-title":"ACM SIGPLAN Notices"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"I.J.P. Elshoff. A Distributed Debugger for Amoeba. In Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, pages 1\u201310, Madison, Wisconsin, May 1988.","DOI":"10.1145\/68210.69216"},{"key":"25_CR9","volume-title":"PhD thesis","author":"C.J. Fidge","year":"1989","unstructured":"C.J. Fidge. Dynamic Analysis of Event Orderings in Message-Passing Systems. PhD thesis, Australian National University, Department of Computer Science, Canberra, Australia, 1989."},{"issue":"8","key":"25_CR10","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C.J. Fidge","year":"1991","unstructured":"C.J. Fidge. Logical Time in Distributed Computing Systems. IEEE Computer, 24(8):28\u201333, August 1991.","journal-title":"IEEE Computer"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"J. Fowler and W. Zwaenepoel. Causal Distributed Breakpoints. In Proceedings of the 10th International Conference on Distributed Computing Systems, pages 134\u2013141, Paris, France, May\/June 1990.","DOI":"10.1109\/ICDCS.1990.89277"},{"key":"25_CR12","first-page":"166","volume":"II","author":"D. Haban","year":"1988","unstructured":"D. Haban and W. Weigel. Global Events and Global Breakpoints in Distributed Systems. In Proceedings of the 21st Annual Hawaii International Conference on System Sciences, volume II, pages 166\u2013175, Kailua-Kona, Hawaii, January 1988.","journal-title":"Proceedings of the 21st Annual Hawaii International Conference on System Sciences"},{"key":"25_CR13","volume-title":"PhD thesis","author":"T. Kunz","year":"1994","unstructured":"Thomas Kunz. Abstract Behaviour of Distributed Executions with Applications to Visualization. PhD thesis, Department of Computer Science, Technical University of Darmstadt, Darmstadt, Germany, May 1994."},{"issue":"7","key":"25_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, 21(7):558\u2013565, July 1978.","journal-title":"Communications of the ACM"},{"issue":"1","key":"25_CR15","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/0743-7315(92)90058-U","volume":"15","author":"Y. Manabe","year":"1992","unstructured":"Y. Manabe and M. Imase. Global Conditions in Debugging Distributed Programs. Journal of Parallel and Distributed Computing, 15(1):62\u201369, May 1992.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"25_CR16","first-page":"254","volume-title":"Distributed Algorithms, volume 579 of Lecture Notes in Computer Science","author":"K. Marzullo","year":"1991","unstructured":"K. Marzullo and G. Neiger. Detection of Global State Predicates. In S. Toueg, P.G. Spirakis, and L.Kirousis, editors, Distributed Algorithms, volume 579 of Lecture Notes in Computer Science, pages 254\u2013272, Berlin, Germany, 1991. Springer Verlag. Proceedings of WDAG '91, Delphi, Greece, October 1991."},{"key":"25_CR17","first-page":"215","volume-title":"Parallel and Distributed Algorithms","author":"F. Mattern","year":"1989","unstructured":"F. Mattern. Virtual Time and Global States of Distributed Systems. In M. Cosnard et al., editor, Parallel and Distributed Algorithms, pages 215\u2013226. Elsevier Science Publishers B.V., Amsterdam, North-Holland, The Netherlands, 1989. Proceedings of the International Workshop held in Gers, France, October, 1988."},{"key":"25_CR18","first-page":"3","volume":"78","author":"F. Mattern","year":"1992","unstructured":"F. Mattern. On the Relativistic Structure of Logical Time in Distributed Systems. Bigre, 78:3\u201320, March 1992. Proceedings of the workshop: Datation et Contr\u00d4le des Ex\u00e9cutions R\u00e9parties, December 4th, 1991, Rennes, France.","journal-title":"Bigre"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"B.P. Miller and J.-D. Choi. Breakpoints and Halting in Distributed Programs. In Proceedings of the 8th International Conference on Distributed Computing Systems, pages 316\u2013323, San Jose, California, June 1988.","DOI":"10.1109\/DCS.1988.12532"},{"key":"25_CR20","unstructured":"E.T. Smith. Debugging Tools for Message-Based Communication Processes. In Proceedings of the 4th International Conference on Distributed Computing Systems, pages 303\u2013310, San Fransisco, California, 1984."},{"key":"25_CR21","first-page":"29","volume-title":"Proceedings of the 1992 CAS Conference, Volume I","author":"D.J. Taylor","year":"1992","unstructured":"D.J. Taylor. A Prototype Debugger for Hermes. In Proceedings of the 1992 CAS Conference, Volume I, pages 29\u201342, Toronto, Ontario, Canada, November 1992. IBM Canada Ltd. Laboratory, Centre for Advanced Studies."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T10:24:10Z","timestamp":1549275850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584490","9783540487999"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0020444","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}