{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,31]],"date-time":"2023-12-31T16:10:03Z","timestamp":1704039003144},"reference-count":22,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,11,1]],"date-time":"1998-11-01T00:00:00Z","timestamp":909878400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1998,11]]},"DOI":"10.1016\/s0164-1212(98)10032-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:21:35Z","timestamp":1027610495000},"page":"187-196","source":"Crossref","is-referenced-by-count":4,"title":["The ProSet-Linda approach to prototyping parallel systems"],"prefix":"10.1016","volume":"43","author":[{"given":"Wilhelm","family":"Hasselbring","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(98)10032-8_BIB1","unstructured":"Carriero, N., Gelernter, D., 1990. How to write parallel programs. MIT Press, Cambridge, MA"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB2","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/129630.376083","article-title":"Coordination languages and their significance","volume":"35","author":"Carriero","year":"1992","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB3","doi-asserted-by":"crossref","unstructured":"Chandy, K., Kesselman, C., 1993. CC++: A declarative concurrent object-oriented programming notation. In: Agha, G.,Wegner, P.,Yonezawa, A.(Eds.), Research Directions in Concurrent Object-Oriented Programming. MIT Press, Cambridge, MA, pp. 281\u2013313","DOI":"10.7551\/mitpress\/2087.003.0016"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB4","doi-asserted-by":"crossref","unstructured":"Chen, M., Choo, Y., Li, J., 1991. Crystal: Theory and pragmatics of generating efficient parallel code. In: Szymanski, B.(Ed.), Parallel Functional Languages and Compilers. ACM, New York, pp. 255\u2013308","DOI":"10.1145\/107214.129259"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00289519","article-title":"Hierarchical ordering of sequential processes","volume":"1","author":"Dijkstra","year":"1971","journal-title":"Acta Informatica"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB6","doi-asserted-by":"crossref","unstructured":"Doberkat, E.-E., Franke, W., Gutenbeil, U., Hasselbring, W., Lammers, U., Pahl, C., 1992. ProSet \u2013 A language for prototyping with sets. In: Kanopoulos, N.(Ed.), Proceedings of the Third International Workshop on Rapid System Prototyping. IEEE Computer Society Press, Piscataway, NJ, pp. 235\u2013248","DOI":"10.1109\/IWRSP.1992.243903"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB7","doi-asserted-by":"crossref","unstructured":"Doberkat, E.-E., Hasselbring, W., Pahl, C., 1996. Investigating strategies for cooperative planning of independent agents through prototype evaluation. In: Ciancarini, P.,Hankin, C.(Eds.), Proceedings of the First International Conference on Coordination Languages and Models (COORDINATION '96), volume 1061 of Lecture Notes in Computer Science, Springer, Berlin, pp. 416\u2013419","DOI":"10.1007\/3-540-61052-9_62"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB8","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB9","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D., 1991. Fundamentals of Software Engineering, Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB10","doi-asserted-by":"crossref","unstructured":"Goldberg, A., Mills, P., Nyland, L., Prins, J., Reif, J., Riely, J., 1994. Specification and development of parallel algorithms with the Proteus system. In: Blelloch, G.,Chandy, K., Jagannathan, S. (Eds.), DIMACS: Specification of Parallel Algorithms. American Mathematical Society, Providence, RJ","DOI":"10.1090\/dimacs\/018\/23"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB11","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","article-title":"Multilisp: A language for concurrent symbolic computation","volume":"7","author":"Halstead","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB12","doi-asserted-by":"crossref","unstructured":"Hasselbring, W., 1994a. Animation of Object-Z specifications with a set-oriented prototyping language. In: Bowen, J., Hall, J.(Eds.), Z User Workshop, Proceedings of the Eighth Z User Meeting, Workshops in Computing, Springer, London, pp. 337\u2013356","DOI":"10.1007\/978-1-4471-3452-7_20"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB13","unstructured":"Hasselbring, W., 1994b. Prototyping parallel algorithms in a set-oriented language, Ph.D. Thesis. Department of Computer Science, University of Dortmund, Published by Verlag Dr. Kova\u010d, Hamburg, 1994"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB14","doi-asserted-by":"crossref","unstructured":"Hasselbring, W., Fisher, R., 1995. Using the ProSet-Linda prototyping language for investigating MIMD Algorithms for model matching in 3-D computer vision. In: Ferreira, A.,Rolim, J.(Eds.), Parallel Algorithms for Irregularly Structured Problems, Volume 980 of Lecture Notes in Computer Science, Springer, Berlin, pp. 301\u2013315","DOI":"10.1007\/3-540-60321-2_25"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB15","doi-asserted-by":"crossref","unstructured":"Hasselbring, W., Kr\u00f6ber, A., 1998. Combining OMT with a prototyping approach. Journal of Systems and Software","DOI":"10.1016\/S0164-1212(98)10031-6"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/52.469762","article-title":"Programming in concurrent logic languages","volume":"12","author":"Huntbach","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB17","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/MS.1984.229465","article-title":"Software prototyping using the SETL programming language","volume":"1","author":"Kruchten","year":"1984","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB18","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1287\/opre.14.4.699","article-title":"Branch-and-bound methods: A survey","volume":"14","author":"Lawler","year":"1966","journal-title":"Operations Research"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB19","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0164-1212(93)90027-U","article-title":"Partial orderings of event sets and their application to prototyping concurrent timed systems","volume":"21","author":"Luckham","year":"1993","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB20","doi-asserted-by":"crossref","unstructured":"Powell, M., Kleinman, S., Barton, S., Shah, D., Stein, D., Weeks, M., 1991. SunOS Multi-thread Architecture. In: Proceedings of the USENIX Winter '91 Technical Conference","DOI":"10.1007\/978-1-4612-3192-9_24"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB21","unstructured":"SunMicrosystems, 1990. Programming Utilities and Libraries, System Manuals"},{"key":"10.1016\/S0164-1212(98)10032-8_BIB22","unstructured":"Waltenberg, K., 1996. Design and implementation of a distributed runtime system for ProSet-Linda (in German), Master's thesis. Department of Computer Science, University of Dortmund"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100328?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100328?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,12,31]],"date-time":"2023-12-31T15:41:16Z","timestamp":1704037276000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121298100328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,11]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,11]]}},"alternative-id":["S0164121298100328"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(98)10032-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,11]]}}}