A denotational semantics for the symmetric interaction combinators

DOI10.1017/S0960129507006135zbMATH Open1125.68070OpenAlexW2093062902MaRDI QIDQ5308098

Damiano Mazza

Publication date: 26 September 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129507006135

zbMATH Keywords

Lafont's interaction combinators

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Symbolic Semantics for Multiparty Interactions in the Link-Calculus ⋮ Symbolic and Asynchronous Semantics via Normalized Coalgebras ⋮ A Formal Context for Symmetric Dependencies

This page was built for publication: A denotational semantics for the symmetric interaction combinators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308098)