{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T13:18:01Z","timestamp":1720790281043},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:00:00Z","timestamp":1180656000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2007,6]]},"abstract":"<jats:p>The symmetric interaction combinators are a variant of Lafont's interaction combinators. They enjoy a weaker universality property with respect to interaction nets, but are equally expressive. They are a model of deterministic distributed computation and share the good properties of Turing machines (elementary reductions) and of the \u03bb-calculus (higher-order functions and parallel execution). We introduce a denotational semantics for this system, which is inspired by the relational semantics for linear logic, and prove an injectivity and full completeness result for it. We also consider the algebraic semantics defined by Lafont, and prove that the two are strongly related.<\/jats:p>","DOI":"10.1017\/s0960129507006135","type":"journal-article","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T13:51:23Z","timestamp":1183729883000},"page":"527-562","source":"Crossref","is-referenced-by-count":5,"title":["A denotational semantics for the symmetric interaction combinators"],"prefix":"10.1017","volume":"17","author":[{"given":"DAMIANO","family":"MAZZA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,6,1]]},"reference":[{"key":"S0960129507006135_ref13","unstructured":"Mazza D. (2006) Observational equivalence for the interaction combinators and internal separation. In: Mackie I. (ed.) Proceedings of TERMGRAPH 2006. Electronic Notes in Theoretical Computer Science 7\u201316."},{"key":"S0960129507006135_ref12","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2002.3163"},{"key":"S0960129507006135_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511629150.012"},{"key":"S0960129507006135_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96718"},{"key":"S0960129507006135_ref5","first-page":"11","volume-title":"Logic and Computer Science: New Trends and Applications, Rendiconti del Seminario Matematico dell'Universit\u00e0 e Politecnico di Torino","author":"Girard","year":"1987"},{"key":"S0960129507006135_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S0960129507006135_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00637-0"},{"key":"S0960129507006135_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01622878"},{"key":"S0960129507006135_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005652"},{"key":"S0960129507006135_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70271-4"},{"key":"S0960129507006135_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004645"},{"key":"S0960129507006135_ref10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2643"},{"key":"S0960129507006135_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143172"},{"key":"S0960129507006135_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003754"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129507006135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T19:27:16Z","timestamp":1553887636000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129507006135\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["S0960129507006135"],"URL":"https:\/\/doi.org\/10.1017\/s0960129507006135","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6]]}}}