{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:40:13Z","timestamp":1737351613733,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638759"},{"type":"electronic","value":"9783540696582"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63875-x_64","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T07:08:01Z","timestamp":1186470481000},"page":"351-366","source":"Crossref","is-referenced-by-count":2,"title":["Basic results in automatic transformations of shared memory parallel programs into sequential programs"],"prefix":"10.1007","author":[{"given":"Yosi","family":"Ben-Asher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esti","family":"Stein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-verlag, 1991.","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Ziya Aral and Ilya Gertner. Non-intrusive and interactive profiling in Parasight. In Proc. ACM\/SIGPLAN PPEALS (Parallel Programming: Experience with Applications, Languages and Systems), pages 21\u201330, Jul 1988.","DOI":"10.1145\/62116.62119"},{"key":"27_CR3","doi-asserted-by":"crossref","first-page":"1733","DOI":"10.1002\/j.1538-7305.1984.tb00062.x","volume":"63","author":"M. J. Bach","year":"1984","unstructured":"M. J. Bach and S. J. Buroff. Multiprocessor UNIX operating systems. AT&T Bell Labs Tech. J., 63(8, part 2):1733\u20131749, Oct 1984.","journal-title":"AT&T Bell Labs Tech. J."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Y. Ben-Asher and G. Haber. On the usage of simulators to detect inefficiency of parallel programs caused by bad schedulings: the simparc approach. In HiPC (High performance computing), New Delhi, India,, 1995.","DOI":"10.1016\/0164-1212(96)00028-3"},{"issue":"1","key":"27_CR5","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/71.205651","volume":"4","author":"A. J. Goldberg","year":"1993","unstructured":"Aaron J. Goldberg and John L. Hennessy. Mtool: An integrated system for performance debugging shared memory multiprocessor applications. IEEE Trans. Parallel & Distributed Syst., 4(1):28\u201340, Jan 1993.","journal-title":"IEEE Trans. Parallel & Distributed Syst."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Phillip Krueger and Miron Livny. A comparison of preemptive and non-preemptive load distributing.-In Intl. Conf. Distributed Comput. Syst., number 8, pages 123\u2013130, Jun 1988.","DOI":"10.1109\/DCS.1988.12509"},{"issue":"9","key":"27_CR7","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"C-28","author":"L. Lamport","year":"1979","unstructured":"Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690\u2013691, Sep 1979.","journal-title":"IEEE Transactions on Computers"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Allen D. Malony. Event-based performance perturbation: A case study. In Symp. Principles & Practice of Parallel Programming, number 3, pages 201\u2013212, Apr 1991.","DOI":"10.1145\/109626.109646"},{"issue":"4","key":"27_CR9","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, Dec 1989.","journal-title":"ACM Computing Surveys"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Constantine D. Polychronopoulos. Parallel programming and compilers. Kluwer academic, 1988.","DOI":"10.1007\/978-1-4613-1077-8"},{"key":"27_CR11","unstructured":"M. Raynal. Algorithms for Mutual Exclusion. The MIT Press, 1986."},{"issue":"6","key":"27_CR12","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.1985.232066","volume":"2","author":"Z. Segall","year":"1985","unstructured":"Zary Segall and Larry Rudolph. PIE: A programming and instrumentation environment for parallel pro cessing. IEEE Software, 2(6):22\u201337, Nov 1985.","journal-title":"IEEE Software"},{"issue":"3","key":"27_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/2.50269","volume":"23","author":"J. J. P. Tsai","year":"1990","unstructured":"Jeffrey J. P. Tsai, Kwang-Ya Fang, and Horng-Yuan Chen. A noninvasive architecture to monitor real-time distributed systems. Computer, 23(3):11\u201323, Mar 1990.","journal-title":"Computer"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Glynn Winskel. The Formal Semantics of Programming Languages-An Introduction. MIT press, 1993.","DOI":"10.7551\/mitpress\/3054.001.0001"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63875-X_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:08:28Z","timestamp":1737349708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63875-X_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638759","9783540696582"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-63875-x_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}