{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:00Z","timestamp":1725663420124},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555995"},{"type":"electronic","value":"9783540472506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55599-4_124","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:16:58Z","timestamp":1330251418000},"page":"783-798","source":"Crossref","is-referenced-by-count":0,"title":["Paragon specifications: Structure, analysis and implementation"],"prefix":"10.1007","author":[{"given":"Paul","family":"Anderson","sequence":"first","affiliation":[]},{"given":"David","family":"Bolton","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Kelly","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,14]]},"reference":[{"key":"48_CR1","unstructured":"Paul Anderson and Peter Osmon. A Fault Tolerant Communications Architecture for Wafer Scale Integration. In Proceedings of the Alvey Technical Conference, pages 504\u2013507, 1988. City University TCU\/CS\/1988\/13."},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, and M.R. Sleep. Term graph rewriting. 1987. In [8, pages 141\u2013158].","DOI":"10.1007\/3-540-17945-3_8"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, and M.R. Sleep. Towards an intermediate language for graph rewriting. 1987. In [8, pages 159\u2013174].","DOI":"10.1007\/3-540-17945-3_9"},{"key":"48_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF03037642","volume":"9","author":"D. Bolton","year":"1991","unstructured":"D. Bolton, C.L. Hankin, and P.H.J. Kelly. An operational semantics for Paragon: A design notation for parallel architectures. New Generation Computing, 9:171\u2013197, 1991.","journal-title":"New Generation Computing"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"David Bolton, Chris Hankin, and Paul Kelly. Parallel object-oriented descriptions of graph reduction machines (extended abstract). In PARLE'89 Parallel Architectures and Languages Europe, pages 158\u2013175. Springer Verlag, 1989.","DOI":"10.1007\/3540512845_38"},{"key":"48_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0167-739X(90)90021-5","volume":"6","author":"D. Bolton","year":"1990","unstructured":"David Bolton, Chris Hankin, and Paul Kelly. Parallel object-oriented descriptions of graph reduction machines. Future Generations Computer Systems, 6:225\u2013239, 1990.","journal-title":"Future Generations Computer Systems"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, editor. Languages for Parallel Architectures. Parallel Computing. Wiley, 1989.","DOI":"10.1016\/0167-8191(89)90123-3"},{"key":"48_CR8","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, A.J. Nijman, and P.C. Treleaven, editors. Parle, Parallel Architectures and Languages Europe, volume I. Springer Verlag, June 1987. LNCS 258.","DOI":"10.1007\/3-540-17943-7"},{"key":"48_CR9","unstructured":"J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep. Dactl: a computational model and compiler target language based on graph reduction. Report SYS-C87-03, school of Information Systems, University of East Anglia, 1987."},{"key":"48_CR10","unstructured":"Inmos Ltd. Occam-2 Reference manual. Prentice Hall International, 1988."},{"key":"48_CR11","unstructured":"David May and Catherine Keane. Compiling occam to silicon. Technical note 23, Inmos Ltd., 1000 Aztec West, Almondsbury, Bristol BS12 4SQ, UK., 1987."},{"key":"48_CR12","unstructured":"Ph Schnoebelen and Ph Jorrand. Principles of FP2: Term Algebras for Specification of Parallel Machines. 1989. In [7, pages 223\u2013273]."},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"D.A. Turner. Miranda: A non-strict functional language with polymorphic types. In Functional Programming Languages and Computer Architecture, Nancy, France. Springer Verlag, 1985. LNCS 201.","DOI":"10.1007\/3-540-15975-4_26"}],"container-title":["Lecture Notes in Computer Science","PARLE '92 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55599-4_124.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:50Z","timestamp":1605646790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55599-4_124"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555995","9783540472506"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55599-4_124","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}