{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:23:31Z","timestamp":1725557011431},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135613"},{"type":"electronic","value":"9783642135620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13562-0_32","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T09:08:30Z","timestamp":1275296910000},"page":"350-360","source":"Crossref","is-referenced-by-count":4,"title":["A Visual Model of Computation"],"prefix":"10.1007","author":[{"given":"Ian","family":"Mackie","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Dami, L., Vallet, D.: Higher-order functional composition in visual form. Technical report (1996)"},{"key":"32_CR2","volume-title":"Handbook of Theoretical Computer Science: Formal Methods and Semantics","author":"N. Dershowitz","year":"1989","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite Systems. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science: Formal Methods and Semantics, vol.\u00a0B, North-Holland, Amsterdam (1989)"},{"issue":"1","key":"32_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(97)00082-0","volume":"190","author":"M. Fern\u00e1ndez","year":"1998","unstructured":"Fern\u00e1ndez, M., Mackie, I.: Interaction nets and term rewriting systems. Theoretical Computer Science\u00a0190(1), 3\u201339 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"32_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear Logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/143165.143172","volume-title":"Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL 1992)","author":"G. Gonthier","year":"1992","unstructured":"Gonthier, G., Abadi, M., L\u00e9vy, J.-J.: The geometry of optimal lambda reduction. In: Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL 1992), January 1992, pp. 15\u201326. ACM Press, New York (1992)"},{"key":"32_CR6","unstructured":"Hassan, A., Mackie, I., Sato, S.: Interaction nets: programming language design and implementation. In: Proceedings of the seventh international workshop on Graph Transformation and Visual Modeling Techniques (March 2008)"},{"key":"32_CR7","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. Information Processing\u00a074 (1974)"},{"key":"32_CR8","unstructured":"Kelso, J.: A Visual Programming Environment for Functional Languages. PhD thesis, Murdoch University (2002)"},{"key":"32_CR9","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"J.-W. Klop","year":"1992","unstructured":"Klop, J.-W.: Term rewriting systems. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S. (eds.) Handbook of Logic in Computer Science, vol.\u00a02, pp. 1\u2013116. Oxford University Press, Oxford (1992)"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/96709.96718","volume-title":"Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990)","author":"Y. Lafont","year":"1990","unstructured":"Lafont, Y.: Interaction nets. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990), January 1990, pp. 95\u2013108. ACM Press, New York (1990)"},{"key":"32_CR11","unstructured":"Lippi, S.: Programming with interaction nets. Technical report, Logic and Interaction school (2002)"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-540-25979-4_11","volume-title":"Rewriting Techniques and Applications","author":"I. Mackie","year":"2004","unstructured":"Mackie, I.: Efficient \u03bb-evaluation with interaction nets. In: van Oostrom, V. (ed.) RTA 2004. LNCS, vol.\u00a03091, pp. 155\u2013169. Springer, Heidelberg (2004)"},{"key":"32_CR13","unstructured":"Reekie, H.J.: Realtime Signal Processing \u2013 Dataflow, Visual, and Functional Programming. PhD thesis, University of Technology at Sydney (1995)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13562-0_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:07:33Z","timestamp":1619784453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13562-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135613","9783642135620"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13562-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}