{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:02Z","timestamp":1748145782207,"version":"3.41.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008685117587","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"179-197","source":"Crossref","is-referenced-by-count":4,"title":["High-Level Views of Distributed Executions: Convex Abstract Events"],"prefix":"10.1007","volume":"4","author":[{"given":"Thomas","family":"Kunz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"123485_CR1","doi-asserted-by":"crossref","unstructured":"Mohan Ahuja and Shivakant Mishra. Units of Computation in Fault-Tolerant Distributed Systems. In Proceedings of the 14th International Conference on Distributed Computing Systems, pages 626\u2013633, Pozna, Poland, June 1994.","DOI":"10.1109\/ICDCS.1994.302480"},{"key":"123485_CR2","volume-title":"Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging","author":"M. Auguston","year":"1995","unstructured":"Mikhail Auguston. A Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. In Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, May 1995."},{"issue":"11","key":"123485_CR3","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/163359.163375","volume":"36","author":"R. D. Banker","year":"1993","unstructured":"Rajiv D. Banker, Srikant M. Datar, Chris F. Kemerer, and Dani Zweig. Software Complexity and Maintenance Costs. Communications of the ACM, 36(11):81\u201394, Number 1993.","journal-title":"Communications of the ACM"},{"key":"123485_CR4","doi-asserted-by":"crossref","unstructured":"T. Basten, T. Kunz, J.P. Black, M.H. Coffin, and D.J. Taylor. Vector Time and Causality among Abstract Events in Distributed Computations. Submitted for publication, Distributed Computing, 1996.","DOI":"10.1007\/s004460050040"},{"issue":"1","key":"123485_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/200912.200913","volume":"13","author":"P. C. Bates","year":"1995","unstructured":"Peter C. Bates. Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior. ACM Transactions on Computer Systems, 13(1):1\u201331, February 1995.","journal-title":"ACM Transactions on Computer Systems"},{"key":"123485_CR6","unstructured":"J. P. Black, M. H. Coffin, D. J. Taylor, T. Kunz, and T. Basten. Linking Specification, Abstraction, and Debugging. CCNG Technical Report E-232, Computer Communications and Networks Group, University of Waterloo, November 1993."},{"key":"123485_CR7","unstructured":"Erich Buss and John Henshaw. A Software Reverse Engineering Experience. In Proceedings of the 1991 CAS Conference, pages 55\u201373, Toronto, Ont., Canada, October 1991. IBM Canda Ltd. Laboratory, Centre for Advanced Studies."},{"key":"123485_CR8","volume-title":"Process and Event Abstraction for Debugging Distributed Programs","author":"W. H. Cheung","year":"1989","unstructured":"Wing Hong Cheung. Process and Event Abstraction for Debugging Distributed Programs. PhD thesis, University of Waterloo, Ontario, Canada, September 1989. Also available as Technical Report T-189, Computer Communications Network Group, University of Waterloo."},{"key":"123485_CR9","volume-title":"Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging","author":"M. Ducass\u00e9","year":"1995","unstructured":"Mireille Ducass\u00e9. Automated Debugging Extensions of the Opium Trace Analyzer. In Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, May 1995."},{"key":"123485_CR10","unstructured":"Stephen G. Eick and Amy Ward. An Interactive Visualization for Message Sequence Charts. In Proceedings of the Fourth Workshop on Program Comprehension, pages 2\u20138, Berlin, Germany, March 1996. ISBN 0-8186-7283-8."},{"key":"123485_CR11","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/68210.69233","volume-title":"Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging","author":"C. J. Fidge","year":"1988","unstructured":"Colin J. Fidge. Partial Orders for Parallel Debugging. In Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, pages 183\u2013194, Madison, Wisconsin, May 1988. Appeared as ACM SIGPLAN Notices, 24(1), January 1989."},{"issue":"8","key":"123485_CR12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C. J. Fidge","year":"1991","unstructured":"Colin J. Fidge. Logical Time in Distributed Computing Systems. IEEE Computer, 24(8):28\u201333, August 1991.","journal-title":"IEEE Computer"},{"key":"123485_CR13","series-title":"Technical Report","volume-title":"MPI: A Message-Passing Interface Standard","author":"Message Passing Interface Forum.","year":"1994","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface Standard. Technical Report CS-94-230, University of Tennessee, Knoxville, TN, USA, 1994. See also International Journal of Supercomputing Applications, Volume 8, No. 3\/4, 1994."},{"issue":"2","key":"123485_CR14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/32.44382","volume":"16","author":"D. Haban","year":"1990","unstructured":"Dieter Haban and Dieter Wybranietz. A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems. IEEE Transactions on Software Engineering, 16(2):197\u2013211, February 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"123485_CR15","unstructured":"Kenneth M. Kahn and Vijay A. Saraswat. Complete Visualizations of Concurrent Programs and Their Executions. In Proceedings of the 1990 IEEE Workshop on Visual Languages, pages 7\u201315, Skokie, Illinois, USA, October 1990."},{"key":"123485_CR16","series-title":"Technical report","volume-title":"The PVM 3.4 Tracing Facility and XPVM 1.1","author":"J. A. Kohl","year":"1995","unstructured":"J. A. Kohl and G. A. Geist. The PVM 3.4 Tracing Facility and XPVM 1.1. Technical report, Computer Science & Mathematics Division, Oak Ridge National Laboratory, Oak Ridge, TN, USA, 1995."},{"key":"123485_CR17","volume-title":"Abstract Behaviour of Distributed Executions with Applications to Visualization","author":"T. Kunz","year":"1994","unstructured":"Thomas Kunz. Abstract Behaviour of Distributed Executions with Applications to Visualization. PhD thesis, Technische Hochschule Darmstadt, Darmstadt, Germany, May 1994a."},{"issue":"3","key":"123485_CR18","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1142\/S0218194094000155","volume":"4","author":"T. Kunz","year":"1994","unstructured":"Thomas Kunz. Reverse Engineering Distributed Applications: An Event Abstraction Tool. International Journal of Software Engineering and Knowledge Engineering, 4(3):303\u2013323, September 1994b.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"6","key":"123485_CR19","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1109\/32.391378","volume":"21","author":"T. Kunz","year":"1995","unstructured":"Thomas Kunz and James P. Black. Using Automatic Process Clustering for Design Recovery and Distributed Debugging. IEEE Transactions on Software Engineering, 21(6):515\u2013527, June 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"123485_CR20","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Leslie 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"},{"key":"123485_CR21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Leslie Lamport. On interprocess communication. Distributed Computing, 1:77\u201385, 1986.","journal-title":"Distributed Computing"},{"key":"123485_CR22","doi-asserted-by":"crossref","unstructured":"Allen D. Malony, David Hammerslag, and David J. Jablonowski. Traceview: A Trace Visualization Tool. IEEE Software, pages 19\u201328, September 1991.","DOI":"10.1109\/52.84213"},{"key":"123485_CR23","doi-asserted-by":"crossref","unstructured":"Paul W. Oman, Curtis R. Cook, and Murthi Nanja. Effects of Programming Experience in Debugging Semantic Errors. The Journal of Systems and Software, pages 197\u2013207, March 1989.","DOI":"10.1016\/0164-1212(89)90040-X"},{"issue":"4","key":"123485_CR24","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/227210.227230","volume":"39","author":"A. Schiper","year":"1996","unstructured":"Andr\u00e9 Schiper and Michel Raynal. From Group Communication to Transactions in Distributed Systems. Communications of the ACM, 39(4):84\u201387, April 1996.","journal-title":"Communications of the ACM"},{"key":"123485_CR25","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwarz","year":"1994","unstructured":"Reinhard Schwarz and Friedemann Mattern. Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail. Distributed Computing, 7:149\u2013174, September 1994.","journal-title":"Distributed Computing"},{"key":"123485_CR26","unstructured":"John Shirley, Wei Hu, and David Magid. Guide to Writing DCE Applications. O'Reilly & Associates, Inc., May 1994. Second Edition, ISBN 1-56592-045-7."},{"key":"123485_CR27","doi-asserted-by":"crossref","unstructured":"Madalene Spezialetti and Scott Bernberg. EVEREST: An Event Recognition Testbed. In Proceedings of the 15th International Conference on Distributed Computing Systems, pages 377\u2013385, Vancouver, BC, Canada, May 1995.","DOI":"10.1109\/ICDCS.1995.500042"},{"key":"123485_CR28","volume-title":"HERMES: A Language for Distributed Computing","author":"R. E. Strom","year":"1991","unstructured":"Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, and Shaula Alexander Yemini. HERMES: A Language for Distributed Computing. Prentice Hall, Inc., Englewood Cliffs, New Jersey, 1991."},{"key":"123485_CR29","first-page":"215","volume-title":"Distributed Systems","author":"W. E. Weihl","year":"1989","unstructured":"William E. Weihl. Using Transactions in Distributed Applications. In Sape Mullender, editor, Distributed Systems, pages 215\u2013236, Addison-Wesley Publishing Company, New York, New York, 1989."},{"key":"123485_CR30","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1006\/imms.1993.1084","volume":"39","author":"S. Wiedenbeck","year":"1993","unstructured":"Susan Wiedenbeck and Vikki Fix. Characteristics of the Mental Representations of Novice and Expert Programmers: an Emperical Study. International Journal of Man-Machine Studies, 39:793\u2013812, 1993.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"3","key":"123485_CR31","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/52.136185","volume":"9","author":"D. Zernik","year":"1992","unstructured":"Dror Zernik, Marc Snir, and Dalia Malki. Using Visualization Tools to Understand Concurrency. IEEE Software, 9(3):87\u201392, May 1992.","journal-title":"IEEE Software"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008685117587.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008685117587\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008685117587.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T06:56:15Z","timestamp":1748069775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008685117587"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["123485"],"URL":"https:\/\/doi.org\/10.1023\/a:1008685117587","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}