{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:45:33Z","timestamp":1725468333660},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650751"},{"type":"electronic","value":"9783540496731"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057783","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T04:45:07Z","timestamp":1154321107000},"page":"98-107","source":"Crossref","is-referenced-by-count":1,"title":["Debugging distributed implementations of modal process systems"],"prefix":"10.1007","author":[{"given":"Ken","family":"Hines","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetano","family":"Borriello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,29]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Chou, P., and Borriello, G. An analysis-based approach to composition of distributed embedded systems. In Codes \u201998 (March 1998).","DOI":"10.21236\/ADA416533"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Chou, P., and Borriello, G. Modal processes: Towards enhanced retargetability through control composition of distributed embedded systems. In Proceedings of the 35th annual Design Automation Conference (1998).","DOI":"10.1145\/277044.277061"},{"key":"8_CR3","unstructured":"Chou, P., Hines, K., Partridge, K., and Borriello, G. Control generation for embedded systems based on composition of modal processes. Submitted to ICCAD \u201998."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Hines, K., and Borriello, G. Dynamic communication models in embedded system cosimulation. In Proceedings of the 34th annual Design Automation Conference (June 1997).","DOI":"10.1109\/DAC.1997.597179"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Hines, K., and Borriello, G. Selective focus as a means of improving geographically distributed embedded system co-simulation. In Rapid Systems Prototyping \u201997 (June 1997).","DOI":"10.1109\/IWRSP.1997.618825"},{"key":"8_CR6","volume-title":"PhD thesis","author":"T. Kunz","year":"1994","unstructured":"Kunz, T.Abstract Behaviour of Distributed Executions with Applications to Visualization. PhD thesis, Technische Hochschule Darmstadt, Darmstadt, Germany, May 1994."},{"key":"8_CR7","unstructured":"Kunz, T. High-level views of distributed executions. In Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging (1995)."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"7","author":"L. Lamport","year":"1978","unstructured":"Lamport, L. Time, clocks and ordering of events in a distributed system. Communications of the ACM 21, 7 (July 1978), 558\u2013563.","journal-title":"Communications of the ACM 21"},{"key":"8_CR9","volume-title":"Master\u2019s thesis","author":"E. Leung","year":"1997","unstructured":"Leung, E. Event-based debugging for distributed internet applications. Master\u2019s thesis, University of Waterloo, Waterloo, Ontario, Canada, April 1997."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1006\/jpdc.1993.1075","volume":"18","author":"F. Mattern","year":"1993","unstructured":"Mattern, F. Efficient algorithms for distributed snapshots and global virtual time approximation. Journal of Parallel and Distributed Computing, 18 (1993), 423\u2013434.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwarz","year":"1994","unstructured":"Schwarz, R., and Mattern, F. Detecting causal relationships in distributed computations: in search of the holy grail. Distributed Computing, 7 (1994), 149\u2013174.","journal-title":"Distributed Computing"},{"issue":"5","key":"8_CR12","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1002\/spe.4380240506","volume":"24","author":"R. S. Side","year":"1994","unstructured":"Side, R. S., and Shoja, G. C. A debugger for distributed programs. Software \u2014 Practice and Experience 24, 5 (1994), 507\u2013525.","journal-title":"Software \u2014 Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057783","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T19:11:34Z","timestamp":1549912294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057783"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650751","9783540496731"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0057783","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}