{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:02:12Z","timestamp":1725487332624},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421177"},{"type":"electronic","value":"9783540451273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45127-7_26","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:25:25Z","timestamp":1184588725000},"page":"353-356","source":"Crossref","is-referenced-by-count":2,"title":["Parallel Evaluation of Interaction Nets with MPINE"],"prefix":"10.1007","author":[{"given":"Jorge Sousa","family":"Pinto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,8]]},"reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(97)00082-0","volume":"190","author":"M. Fern\u00e1ndez","year":"1998","unstructured":"Maribel Fern\u00e1ndez and Ian Mackie. Interaction nets and term rewriting systems. Theoretical Computer Science, 190(1):3\u201339, January 1998.","journal-title":"Theoretical Computer Science"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Georges Gonthier, Mart\u00edn Abadi, and Jean-Jacques L\u00e9vy. The geometry of optimal lambda reduction. In Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL\u201992), pages 15\u201326. ACM Press, January 1992.","DOI":"10.1145\/143165.143172"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Yves Lafont. Interaction nets. In Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL\u201990), pages 95\u2013108. ACM Press, January 1990.","DOI":"10.1145\/96709.96718"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Ian Mackie. YALE: Yet another lambda evaluator based on interaction nets. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP\u201998), pages 117\u2013128. ACM Press, September 1998.","DOI":"10.1145\/289423.289434"},{"key":"26_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-46432-8_18","volume-title":"Proceedings of Foundations of Software Science and Computation Structures (FOSSACS)","author":"J. S. Pinto","year":"2000","unstructured":"Jorge Sousa Pinto. Sequential and concurrent abstract machines for interaction nets. In Jerzy Tiuryn, editor, Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), number 1784 in Lecture Notes in Computer Science, pages 267\u2013282. Springer-Verlag, 2000."},{"key":"26_CR6","unstructured":"Jorge Sousa Pinto. Parallel Implementation with Linear Logic (Applications of Interaction Nets and of the Geometry of Interaction). PhD thesis, \u00c9cole Polytechnique, 2001."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45127-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:36:06Z","timestamp":1556667366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45127-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421177","9783540451273"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-45127-7_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}