{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T21:42:16Z","timestamp":1648935736683},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1991,6]]},"DOI":"10.1007\/bf03037642","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T23:39:07Z","timestamp":1240529947000},"page":"171-197","source":"Crossref","is-referenced-by-count":2,"title":["An operational semantics for Paragon: A design notation for parallel architectures"],"prefix":"10.1007","volume":"9","author":[{"given":"David","family":"Bolton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Hankin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037642_CR1","series-title":"Report CS-R8515","volume-title":"Operational Semantics of a Parallel Object-Oriented Language","author":"P. America","year":"1985","unstructured":"America, P., de Bakker, J., Kok, J. N. and Rutten, J., \u201cOperational Semantics of a Parallel Object-Oriented Language,\u201dReport CS-R8515, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1985."},{"key":"BF03037642_CR2","series-title":"LNCS","first-page":"51","volume-title":"PARLE","author":"P. Anderson","year":"1987","unstructured":"Anderson, P., Hankin, C. L., Kelly, P. H. J., Osmon, P. E. and Shute, M. J., \u201cCOBWEB-2: Structured Specification of a Wafer Scale Supercomputer,\u201d inPARLE, Volume I (de Bakker, J. W., Nijman, A. J. and Treleaven, P. C. eds.),LNCS 258, Springer-Verlag, Berlin, pp. 51\u201367, 1987."},{"key":"BF03037642_CR3","unstructured":"Anderson, P., \u201cComputer Architecture for Wafer Scale Integration,\u201dPh.D Thesis, City University."},{"key":"BF03037642_CR4","volume-title":"Compilers: Principles, Techniques and Tools","author":"A. V. Aho","year":"1986","unstructured":"Aho, A. V., Sethi, R. and Ullman, J. D.,Compilers: Principles, Techniques and Tools, Addison-Wesley, Massachusetts, 1986"},{"key":"BF03037642_CR5","series-title":"LNCS","first-page":"159","volume-title":"PARLE","author":"H. P. Barendregt","year":"1987","unstructured":"Barendregt, H. P., van Eekelen, M. C. D. J., Glauert, J. R. W., Kennaway, J. R., Plasmeijer, M. J. and Sleep, M. R., \u201cTerm Graph Rewriting,\u201d inPARLE, Volume II (de Bakker, J. W., Nijman, A. J. and Treleaven, P. C. eds.),LNCS 259, Springer-Verlag, Berlin, pp. 159\u2013176, 1987."},{"key":"BF03037642_CR6","unstructured":"Bolton, D., Hankin, C. L. and Kelly, P. H. J., \u201cParallel Object-Oriented Descriptions of Graph Reduction Machines,\u201d to appear inFuture Generation Computer Systems, North-Holland."},{"key":"BF03037642_CR7","unstructured":"Dijkstra, E. W., \u201cA Mild Variant of Combinatory Logic,\u201dEWD735, 1980."},{"key":"BF03037642_CR8","volume-title":"Principles of Functional Programming","author":"H. W. Glaser","year":"1984","unstructured":"Glaser, H. W., Hankin, C. L. and Till, D. R.,Principles of Functional Programming, Prentice Hall International, New Jersey, 1984."},{"key":"BF03037642_CR9","unstructured":"Glauert, J. R. W., Kennaway, J. R. and Sleep, M. R., \u201cDACTL: A Computational Model and Compiler Target Language Based on Graph Reduction,\u201dReport SYS-C 87-03, University of East Anglia, 1987."},{"key":"BF03037642_CR10","doi-asserted-by":"crossref","unstructured":"Hankin, C. L., Burn, G. L. and Peyton Jones, S. L., \u201cA Safe Approach to Parallel Combinator Reduction,\u201dTheoretical Computer Science, March, 1988.","DOI":"10.1016\/0304-3975(86)90004-6"},{"key":"BF03037642_CR11","volume-title":"The Semantics of Programming Language","author":"M. Hennessy","year":"1990","unstructured":"Hennessy, M.,The Semantics of Programming Language, John Wiley, Chichester, 1990."},{"issue":"3","key":"BF03037642_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C., \u201cViewing Control Structures as Patterns of Passing Messages,\u201dArtificial Intelligence, 8, 3, pp. 323\u2013364, 1977.","journal-title":"Artificial Intelligence"},{"key":"BF03037642_CR13","unstructured":"Hughes, R. J. M., \u201cThe Design and Implementation of Programming Languages,\u201dTechnical Monograph PRG-40, Oxford University Programming Research Group, July, 1983."},{"key":"BF03037642_CR14","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/3-540-16047-7_49","volume-title":"The Analysis of Concurrent System","author":"J. R. Kennaway","year":"1985","unstructured":"Kennaway, J. R. and Sleep, M. R., \u201cSyntax and Informal Semantics of DyNe, a Parallel Language,\u201d inThe Analysis of Concurrent System (Denvir, B. T., Harwood, W. T., Jackson, M. I. and Wray, M. J. eds.),LNCS 207, Springer-Verlag, Berlin, pp. 222\u2013230, 1985."},{"key":"BF03037642_CR15","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R., \u201cA Calculus of Communicating Systems,\u201dLNCS 92, Springer-Verlag, Berlin, 1980."},{"key":"BF03037642_CR16","series-title":"LNCS","first-page":"120","volume-title":"The Analysis of Concurrent Systems","author":"R. Milner","year":"1985","unstructured":"Milner, R., \u201cParallel Combinator Reduction Machine,\u201d inThe Analysis of Concurrent Systems (Denvir, B. T., Harwood, W. T., Jackson, M. I. and Wray, M. J. eds.),LNCS 207, Springer-Verlag, Berlin, pp. 120\u2013126, 1985."},{"key":"BF03037642_CR17","volume-title":"The Implementation of Functional Programming Languages","author":"S. L. Peyton Jones","year":"1987","unstructured":"Peyton Jones, S. L.,The Implementation of Functional Programming Languages, Prentice Hall International, New Jersey, 1987."},{"key":"BF03037642_CR18","unstructured":"Plotkin, G. D., \u201cA Structural Approach to Operational Semantics,\u201dTechnical Report FN-19, Aarhus, Denmark, 1981."},{"key":"BF03037642_CR19","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E. and Takeuchi, A., \u201cObject Oriented Programming in Concurrent Prolog,\u201dNew Generation Computing, 1, pp. 25\u201348, 1983.","journal-title":"New Generation Computing"},{"key":"BF03037642_CR20","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","volume-title":"Functional Programming Languages and Computer Architecture","author":"D. A. Turner","year":"1985","unstructured":"Turner, D. A., \u201cMiranda: A Non-Strict Functional Language with Polymorphic Types,\u201d inFunctional Programming Languages and Computer Architecture (Jouannaud, J. P. ed.),LNCS 201, Springer-Verlag, Berlin, pp. 1\u201316, 1985."},{"key":"BF03037642_CR21","unstructured":"Weste, N., et al., \u201cThe Symbolics Ivory Design and Verification Strategy,\u201d inIEEE International Conference on Computer Design: VLSI in Computers and Processors, 1987."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037642.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037642\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:40Z","timestamp":1558558360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037642"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF03037642"],"URL":"https:\/\/doi.org\/10.1007\/bf03037642","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}