{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:50Z","timestamp":1755220970380,"version":"3.43.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":["The Journal of Supercomputing"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1023\/a:1008178320191","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:17:47Z","timestamp":1040545067000},"page":"143-165","source":"Crossref","is-referenced-by-count":1,"title":["Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs"],"prefix":"10.1007","volume":"17","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","reference":[{"key":"271244_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4376-0","volume-title":"Verification of Sequential and Concurrent Programs","author":"K. R. Apt","year":"1991","unstructured":"K. R. Apt and E.-R. Olerog. Verification of Sequential and Concurrent Programs. Springer-Verlag, Berlin, 1991."},{"key":"271244_CR2","doi-asserted-by":"crossref","unstructured":"Z. Aral and I. Gertner. Non-intrusive and interactive profiling in Parasight. In Proceedings of ACM\/SIGPLAN PPEALS (Parallel Programming: Experience with Applications, Languages and Systems), pp. 21-30, July 1988.","DOI":"10.1145\/62115.62119"},{"issue":"8part2","key":"271244_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-1749, 1984.","journal-title":"AT&T Bell Labs Tech. J."},{"key":"271244_CR4","doi-asserted-by":"crossref","unstructured":"Y. Ben-Asher and G. Haber. On the usuage 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":"271244_CR5","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/71.205651","volume":"4","author":"A. J. Goldberg","year":"1993","unstructured":"A. J. Goldberg and J. L. Hennessy. Mtool: An integrated system for performance debugging shared memory multiprocessor applications. IEEE Trans. Parallel and Distributed Syst., 4(1):28-40, 1993.","journal-title":"IEEE Trans. Parallel and Distributed Syst."},{"key":"271244_CR6","first-page":"123","volume":"8","author":"P. Krueger","year":"1988","unstructured":"P. Krueger and M. Livny. A comparison of preemptive and non-preemptive load distributing. In International Conference on Distributed Computer Systems, no. 8, pp. 123-130, June 1988.","journal-title":"International Conference on Distributed Computer Systems"},{"issue":"9","key":"271244_CR7","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"C-28","author":"L. Lamport","year":"1979","unstructured":"L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computer, C-28(9):690-691, 1979.","journal-title":"IEEE Transactions on Computer"},{"key":"271244_CR8","first-page":"201","volume":"3","author":"A. D. Malony","year":"1991","unstructured":"A. D. Malony. Event-based performance perturbation: A case study. In Symposium on Principles and Practice of Parallel Propramming, no. 3, pp. 201-212, April 1991.","journal-title":"Symposium on Principles and Practice of Parallel Propramming"},{"issue":"4","key":"271244_CR9","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C. E. McDowell","year":"1989","unstructured":"C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, 1989.","journal-title":"ACM Computing Surveys"},{"key":"271244_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1077-8","volume-title":"Parallel Programming and Compilers","author":"C. D. Polychronopoules","year":"1988","unstructured":"C. D. Polychronopoules. Parallel Programming and Compilers. Kluwer Academic, Boston, 1988."},{"key":"271244_CR11","volume-title":"Algorithms for Mutual Exclusion","author":"M. Raynal","year":"1986","unstructured":"M. Raynal. Algorithms for Mutual Exclusion. MIT Press, Cambridge, Mass., 1986."},{"issue":"6","key":"271244_CR12","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.1985.232066","volume":"2","author":"Z. Segall","year":"1985","unstructured":"Z. Segall and L. Rudolph. PIE: A programming and instrumentation environment for parallel processing. IEEE Software, 2(6):22-37, 1985.","journal-title":"IEEE Software"},{"issue":"3","key":"271244_CR13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/2.50269","volume":"23","author":"J. P. Tsai","year":"1990","unstructured":"J. P. Tsai, K. Fang, and H. Chen. A noninvasive architecture to monitor real-time distributed systems. Computer, 23(3):11-23, 1990.","journal-title":"Computer"},{"key":"271244_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages\u2013\u2013An Introduction","author":"G. Winskel","year":"1993","unstructured":"G. Winskel, The Formal Semantics of Programming Languages\u2013\u2013An Introduction. MIT Press, Cambridge, Mass., 1993."}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008178320191.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008178320191\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008178320191.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:21:45Z","timestamp":1754630505000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008178320191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["271244"],"URL":"https:\/\/doi.org\/10.1023\/a:1008178320191","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}