{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:24Z","timestamp":1725455784578},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026830","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"357-379","source":"Crossref","is-referenced-by-count":2,"title":["Local linear logic for locality consciousness in multiset transformation"],"prefix":"10.1007","author":[{"given":"Hugh","family":"McEvoy","sequence":"first","affiliation":[]},{"given":"Pieter H.","family":"Hartel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"issue":"3","key":"22_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"S. Abramsky. Computational interpretations of linear logic. Theoretical computer science, 111(3):3\u201357, Oct 1993.","journal-title":"Theoretical computer science"},{"issue":"1","key":"22_CR2","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/malq.19900360405","volume":"36","author":"V. M. Abrusci","year":"1990","unstructured":"V. M. Abrusci. Non-commutative intuitionistic linear logic. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 36(1):297\u2013318, 1990.","journal-title":"Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"V. M. Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear propositional logic. J. Symbolic Logic, 56(4):1403-1451, Dec 91.","DOI":"10.2307\/2275485"},{"key":"22_CR4","volume-title":"Technical Report TR93-18","author":"V. Alexiev","year":"1993","unstructured":"V. Alexiev. Applications of linear logic to computation. Technical Report TR93-18, University of Alberta, Saskatchewan, Canada, 1993."},{"issue":"3","key":"22_CR5","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"J.-M. Andreoli. Logic programming with focusing proofs in linear logic. J. Logic and Computation, 2(3):297\u2013347, 1992.","journal-title":"J. Logic and Computation"},{"key":"22_CR6","first-page":"131","volume-title":"Decentralisation of process nets with centralised control","author":"R. J. R. Back","year":"1983","unstructured":"R. J. R. Back and R. Kurki-Suonio. Decentralisation of process nets with centralised control. In 2nd SIGACT-SIGOPS Symp. on Principles of Distr. Computing (PODC), pages 131\u2013142, Montreal, Canada, 1983. Springer Verlag, Berlin."},{"issue":"4","key":"22_CR7","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. J. R. Back","year":"1988","unstructured":"R. J. R. Back and R. Kurki-Suonio. Distributed co-operation with action systems. ACM transactions on programming languages and systems, 10(4):513\u2013554, 1988.","journal-title":"ACM transactions on programming languages and systems"},{"issue":"8","key":"22_CR8","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/142137.142162","volume":"27","author":"H. G. Baker Jr.","year":"1992","unstructured":"H. G. Baker Jr. Lively linear Lisp \u2014 \u201clook ma, no garbage!\u201d. ACM SIGPLAN notices, 27(8):89\u201398, Aug 1992.","journal-title":"ACM SIGPLAN notices"},{"issue":"2","key":"22_CR9","first-page":"99","volume":"30","author":"J.-P. Ban\u00e2tre","year":"1988","unstructured":"J.-P. Ban\u00e2tre, A. Coutant, and D. le M\u00e9tayer. Parallel machines for multiset transformations and their programming style. Informationstechnik, Oldenbourg Verlag, 30(2):99\u2013109, 1988.","journal-title":"Informationstechnik, Oldenbourg Verlag"},{"key":"22_CR10","volume-title":"Research report PI 522","author":"J.-P. Ban\u00e2tre","year":"1990","unstructured":"J.-P. Ban\u00e2tre and D. le M\u00e9tayer. Programming by multiset transformation. Research report PI 522, IRISA, Rennes, France, Mar 1990."},{"key":"22_CR11","first-page":"81","volume-title":"17th Principles of programming languages","author":"G. Berry","year":"1990","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. In 17th Principles of programming languages, pages 81\u201394, San Fransisco, California, Jan 1990. ACM, New York."},{"key":"22_CR12","volume-title":"Parallel program design: A foundation","author":"K. M. Chandy","year":"1988","unstructured":"K. M. Chandy and J. Misra. Parallel program design: A foundation. Addison Wesley, Reading, Massachusetts, 1988."},{"key":"22_CR13","volume-title":"Research report 1049","author":"C. Creveuil","year":"1989","unstructured":"C. Creveuil and G. Moguerou. D\u00e9rivation syst\u00e9matique d'un algorithme de segmentation d'images \u2014 un exemple d'application du formalisme Gamma. Research report 1049, INRIA Rocquencourt, France, Jun 1989."},{"key":"22_CR14","first-page":"10.1","volume-title":"6th Implementation of Functional Languages","author":"J. Darlington","year":"1994","unstructured":"J. Darlington and Y. Guo. Reduction as deduction. In J. R. W. Glauert, editor, 6th Implementation of Functional Languages, pages 10.1\u201310.10. School of Information Systems, Univ. of East Anglia, Norwich, UK, Sep 1994."},{"key":"22_CR15","series-title":"LNCS 724","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-57264-3_45","volume-title":"3rd Static Analysis (WSA)","author":"L. Errington","year":"1993","unstructured":"L. Errington, C. Hankin, and T. Jensen. A congruence for gamma programs. In P. Cousot, M. Falaschi, G. Fil\u00e8, and A. Rauzy, editors, 3rd Static Analysis (WSA), LNCS 724, Pages 242\u2013253, Padova, Italy, 1993. Springer Verlag, Berlin."},{"issue":"1","key":"22_CR16","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":"22_CR17","first-page":"10","volume-title":"Distributed communication via global buffer","author":"D. Gelernter","year":"1982","unstructured":"D. Gelernter and A. J. Bernstein. Distributed communication via global buffer. In 1st SIGACT-SIGOPS Symp. on Principles of Distr. Computing (PODC) pages 10\u201318, Ottawa, Canada, 1982. ACM, New York."},{"issue":"1","key":"22_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical computer science, 50(1):1\u2013102, 1987.","journal-title":"Theoretical computer science"},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J.-Y. Girard","year":"1992","unstructured":"J.-Y. Girard, A. Scedrov, and P. J. Scott. Bounded linear logic: a modular approach to polynomial-time computability. Theoretical computer science, 97:1\u201366, 1992.","journal-title":"Theoretical computer science"},{"key":"22_CR20","first-page":"26.1","volume-title":"6th Implementation of Functional Languages","author":"K. Gladitz","year":"1994","unstructured":"K. Gladitz and H. Kuchen. Shared memory implementation of the Gammaoperation. In J. R. W. Glauert, editor, 6th Implementation of Functional Languages, pages 26.1\u201326.13. School of Information Systems, Univ. of East Anglia, Norwich, UK, Sep 1994."},{"key":"22_CR21","volume-title":"Research Report 92\/22","author":"C. L. Hankin","year":"1992","unstructured":"C. L. Hankin, D. le M\u00e9tayer, and D. Sands. A calculus of Gamma programs. Research Report 92\/22, Dept. of Computing, Imperial College London, Jul 1992."},{"key":"22_CR22","unstructured":"C. L. Hankin, D. le M\u00e9tayer, and D. Sands. Transformation of Gamma programs. In M. Billaud, P. Cast\u00e9ran, M-M. Corsini, K. Musumbu, and A. Rauzy, editors, Static Analysis (WSA 92), pages 12\u201319, Bordeaux, France, Sep 1992. BIGRE, 81\u201382."},{"key":"22_CR23","first-page":"173","volume-title":"Computing science in The Netherlands","author":"P. H. Hartel","year":"1989","unstructured":"P. H. Hartel, M. H. M. Smid, L. Torenvliet, and W. G. Vree. A parallel functional implementation of range queries. In P. G. M. Apers, D. Bosman, and J. van Leeuwen, editors, Computing science in The Netherlands, pages 173\u2013189, Utrecht, The Netherlands, Nov 1989. CWI, Amsterdam."},{"key":"22_CR24","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","author":"Y. Lafont","year":"1988","unstructured":"Y. Lafont. The linear abstract machine. Theoretical Computer Science, 59:157\u2013180, 1988.","journal-title":"Theoretical Computer Science"},{"key":"22_CR25","first-page":"95","volume-title":"17th Principles of programming languages","author":"Y. Lafont","year":"1990","unstructured":"Y. Lafont. Interaction nets. In 17th Principles of programming languages, pages 95\u2013108, San Fransisco, California, Jan 1990. ACM, New York."},{"issue":"1","key":"22_CR26","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(94)00108-1","volume":"135","author":"P. Lincoln","year":"1994","unstructured":"P. Lincoln and T. Winkler. Constant-only multiplicative linear logic is NP-complete. Theoretical computer science, 135(1):155\u2013169, 1994.","journal-title":"Theoretical computer science"},{"key":"22_CR27","unstructured":"H. McEvoy. Gamma, chromatic typing and vegetation. Technical report in preperation, Dept. of Comp. Sys, Univ. of Amsterdam; Presented at the ESPRIT 9102 coordination meeting, Geneva, Dec 1994."},{"key":"22_CR28","unstructured":"H. McEvoy and J. Kaandorp. Multisets and their transformers as models for environmentally-sensitive growth. Dept. Comp. Sys., Univ. of Amsterdam, 1995."},{"issue":"1","key":"22_CR29","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical computer science, 96(1):73\u2013155, 1992.","journal-title":"Theoretical computer science"},{"key":"22_CR30","volume-title":"Cellular automata machines","author":"T. Toffoli","year":"1991","unstructured":"T. Toffoli and N. Margolus. Cellular automata machines. MIT press, Cambridge, Massachusetts, 1991."},{"key":"22_CR31","volume-title":"Lecture notes 29","author":"A. S. Troelstra","year":"1992","unstructured":"A. S. Troelstra. Lectures on linear logic. Lecture notes 29, Centre for the Study of Language and Information, Leyland Stanford Junior University, California, 1992."},{"key":"22_CR32","volume-title":"Rapport de stage","author":"M. Vieillot","year":"1992","unstructured":"M. Vieillot. Premiers pas de Gamma avec une PAM. Rapport de stage, IFSIC, IRISA, Univ. de Rennes, France, 1992."},{"key":"22_CR33","first-page":"561","volume-title":"Programming concepts and methods","author":"P. L. Wadler","year":"1990","unstructured":"P. L. Wadler. Linear types can change the world! In M. Broy and C. B. Jones, editors, Programming concepts and methods, pages 561\u2013581, Sea of Gallilee, Israel, Apr 1990. North Holland, Amsterdam."},{"key":"22_CR34","volume-title":"Cellular automata and complexity","author":"S. Wolfram","year":"1994","unstructured":"S. Wolfram. Cellular automata and complexity. Addison Wesley, Reading, Massachusetts, 1994."},{"issue":"1","key":"22_CR35","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. Yetter","year":"1990","unstructured":"D. Yetter. Quantales and (noncommutative) linear logic. J. Symbolic logic, 55(1):41\u201364, 1990.","journal-title":"J. Symbolic logic"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:06Z","timestamp":1586570046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/bfb0026830","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}