{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:13Z","timestamp":1725663793159},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573142"},{"type":"electronic","value":"9783540480556"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57314-3_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:46:35Z","timestamp":1330242395000},"page":"135-150","source":"Crossref","is-referenced-by-count":3,"title":["Prototyping parallel algorithms with proset-Linda"],"prefix":"10.1007","author":[{"given":"Wilhelm","family":"Hasselbring","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0167-739X(92)90034-9","volume":"8","author":"H. E. Bal","year":"1992","unstructured":"H.E. Bal. A comparative study of five parallel programming languages. Future Generations Computer Systems, 8:121\u2013135, 1992.","journal-title":"Future Generations Computer Systems"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"R. Budde, K. Kuhlenkamp, L. Mathiassen, and H. Z\u00fcllighoven, editors. Approaches to Prototyping. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-69796-8"},{"key":"12_CR3","volume-title":"PhD thesis","author":"N. Carriero","year":"1987","unstructured":"N. Carriero. Implementation of tuple space machines. PhD thesis, Yale University, New Haven, CT, December 1987."},{"key":"12_CR4","unstructured":"N. Carriero and D. Gelernter. How to write parallel programs. MIT Press, 1990."},{"issue":"3","key":"12_CR5","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1145\/42392.42394","volume":"31","author":"J. Cocke","year":"1988","unstructured":"J. Cocke. The search for performance in scientific processors. Communications of the ACM, 31(3):249\u2013253, 1988.","journal-title":"Communications of the ACM"},{"issue":"3","key":"12_CR6","first-page":"137","volume":"13","author":"E.-E. Doberkat","year":"1992","unstructured":"E.-E. Doberkat. Integrating persistence into a set-oriented prototyping language. Structured Programming, 13(3):137\u2013153, 1992.","journal-title":"Structured Programming"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"E.-E. Doberkat and D. Fox. Software Prototyping mit SETL. Leitf\u00e4den und Monographien der Informatik. Teubner-Verlag, 1989.","DOI":"10.1007\/978-3-322-94710-9"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1109\/IWRSP.1992.243903","volume-title":"Proc. Third International Workshop on Rapid System Prototyping","author":"E.-E. Doberkat","year":"1992","unstructured":"E.-E. Doberkat, W. Franke, U. Gutenbeil, W. Hasselbring, U. Lammers, and C. Pahl. ProSet \u2014 A Language for Prototyping with Sets. In N. Kanopoulos, editor, Proc. Third International Workshop on Rapid System Prototyping, pages 235\u2013248, Research Triangle Park, NC, June 1992. IEEE Computer Society Press."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"M. Factor. The process trellis software architecture for real-time monitors. In Proc. Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 147\u2013155, Seattle, WA, March 1990.","DOI":"10.1145\/99164.99180"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"C. Floyd. A systematic look at prototyping. In Budde et al. [2], pages 1\u201318.","DOI":"10.1007\/978-3-642-69796-8_1"},{"issue":"1","key":"12_CR11","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"D. Gelernter. Multiple tuple spaces in Linda. In Proc. Parallel Architectures and Languages Europe (PARLE'89), volume 366 of Lecture Notes in Computer Science, pages 20\u201327. Springer-Verlag, June 1989.","DOI":"10.1007\/3-540-51285-3_30"},{"issue":"12","key":"12_CR13","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J. B. Goodenough","year":"1975","unstructured":"J.B. Goodenough. Exception handling: Issues and a proposed notation. Communications of the ACM, 18(12):683\u2013696, 1975.","journal-title":"Communications of the ACM"},{"issue":"4","key":"12_CR14","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead","year":"1985","unstructured":"R.H. Halstead. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501\u2013538, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR15","unstructured":"W. Hasselbring. A Formal Z Specification of ProSet-Linda. Informatik-Bericht 04\u201392, University of Essen, September 1992."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"W. Hasselbring. Prototyping Parallel Algorithms in a Set-Oriented Language. PhD thesis, University of Essen, 1993. (in preparation).","DOI":"10.1007\/3-540-57314-3_12"},{"key":"12_CR17","unstructured":"M.F. Kaashoek, H.E. Bal, and A.S. Tanenbaum. Experience with the distributed data structure paradigm in Linda. In USENIX\/SERC Workshop on Experiences with Building Distributed and Multiprocessor Systems, pages 175\u2013191, Ft. Lauderdale, FL, October 1989."},{"issue":"7","key":"12_CR18","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0950-5849(89)90159-6","volume":"31","author":"M. Z. Kwiatkowska","year":"1989","unstructured":"M.Z. Kwiatkowska. Survey of fairness notions. Information and Software Technology, 31(7):371\u2013386, 1989.","journal-title":"Information and Software Technology"},{"key":"12_CR19","volume-title":"PhD thesis","author":"J. S. Leichter","year":"1989","unstructured":"J.S. Leichter. Shared tuple memories, buses and LAN's \u2014 Linda implementations across the spectrum of connectivity. PhD thesis, Yale University, New Haven, CT, July 1989."},{"key":"12_CR20","volume-title":"Technical Report 839","author":"J. E. Narem","year":"1989","unstructured":"J.E. Narem. An informal operational semantics of C-Linda V2.3.5. Technical Report 839, Yale University, New Haven, CT, December 1989."},{"key":"12_CR21","unstructured":"R. Naujokat. Entwurf und Implementierung einer Laufzeitbibliothek f\u00fcr ProSet-Linda auf einem lokalen Netzwerk. Master's thesis, University of Essen, 1993. (in preparation)."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"H.A. Partsch. Specification and Transformation of Programs. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-61512-2"},{"key":"12_CR23","unstructured":"H. Pohland. Entwurf und Implementierung eines graphischen Debuggers f\u00fcr ProSet-Linda. Master's thesis, University of Essen, 1993. (in preparation)."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with Sets \u2014 An Introduction to SETL. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4613-9575-1"},{"key":"12_CR25","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 2nd edition, 1992."},{"key":"12_CR26","unstructured":"G. Wilson, editor. Proc. Workshop on Linda-Like Systems and Their Implementation. Edinburgh Parallel Computing Centre TR91-13, June 1991."}],"container-title":["Lecture Notes in Computer Science","Parallel Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57314-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:11:17Z","timestamp":1605629477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57314-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573142","9783540480556"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-57314-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}