{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:55Z","timestamp":1725663955170},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581840"},{"type":"electronic","value":"9783540484776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58184-7_102","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:27:59Z","timestamp":1330270079000},"page":"202-213","source":"Crossref","is-referenced-by-count":1,"title":["A formal approach to modeling expected behavior in parallel program visualizations"],"prefix":"10.1007","author":[{"given":"Joseph L.","family":"Sharnowski","sequence":"first","affiliation":[]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Keijiro Araki, Zengo Furukawa, and Jingde Cheng. A general framework for debugging. IEEE Software, pages 14\u201320, May 1991.","DOI":"10.1109\/52.88939"},{"issue":"4","key":"18_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C. E. McDowell","year":"1989","unstructured":"Charles E. McDowell and David P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593\u2013622, December 1989.","journal-title":"ACM Computing Surveys"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Jeannette M. Wing. A specifier's introduction to formal methods. IEEE Computer, pages 8\u201324, September 1990.","DOI":"10.1109\/2.58215"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jpdc.1993.1050","volume":"18","author":"E. Kraemer","year":"1993","unstructured":"Eileen Kraemer and John T. Stasko. The visualization of parallel systems: An overview. Journal of Parallel and Distributed Computing, 18:105\u2013117, 1993.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1006\/jpdc.1993.1061","volume":"18","author":"M. V. LaPolla","year":"1993","unstructured":"Mark V. LaPolla, Joseph L. Sharnowski, Betty H. C. Cheng, and Kevin Anderson. Data parallel program visualizations from formal specifications. Journal of Parallel and Distributed Computing, 18:252\u2013257, 1993.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Cherri M. Pancake and Sue Utter. Models for visualization in parallel debuggers. In Proceedings of 1989 Supercomputing Conference, pages 627\u2013636, 1989.","DOI":"10.1145\/76263.76334"},{"key":"18_CR7","unstructured":"International Organization for Standardization, IS 8807. LOTOS: A formal description technique based on the temporal ordering of observational behavior, 1989."},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/0169-7552(92)90011-E","volume":"23","author":"L. Logrippo","year":"1992","unstructured":"Luigi Logrippo, Mohammed Faci, and Mazen Haj-Hussein. An introduction to LOTOS: learning by examples. Computer Networks and ISDN Systems, 23:325\u2013342, 1992.","journal-title":"Computer Networks and ISDN Systems"},{"key":"18_CR10","unstructured":"Mazen Haj-Hussein and Luigi Logrippo. Specifying distributed algorithms in LOTOS. To appear in Revue reseaux et informatique repartie."},{"key":"18_CR11","unstructured":"Joseph L. Sharnowski and Betty H. C. Cheng. A formal approach to modeling expected behavior in parallel program visualizations. Technical Report MSU-CPS-93-30, Michigan State University, November 1993."},{"key":"18_CR12","unstructured":"Adam Beguelin, Jack Dongarra, Al Geist, Robert Manchek, and Vaidy Sunderam. A users' guide to PVM: Parallel Virtual Machine. Technical Report ORNL\/TM-11826, Oak Ridge National Laboratory, July 1991."},{"issue":"7","key":"18_CR13","doi-asserted-by":"publisher","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":"18_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0024-3795(86)90167-9","volume":"77","author":"A. George","year":"1986","unstructured":"Alan George, Michael T. Heath, and Joseph Liu. Parallel Cholesky factorization on a shared-memory multiprocessor. Linear Algebra and Its Applications, 77:165\u2013187, 1986.","journal-title":"Linear Algebra and Its Applications"}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_102.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:12:03Z","timestamp":1619572323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_102","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}