Duality and i/o-Types in the π-Calculus

DOI10.1007/978-3-642-32940-1_22zbMath1365.68343OpenAlexW1752042681MaRDI QIDQ2914377

Davide Sangiorgi, Daniel Hirschkoff, Jean-Marie Madiot

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_22

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Trees from Functions as Processes ⋮ Symmetries and Dualities in Name-Passing Process Calculi

This page was built for publication: Duality and i/o-Types in the π-Calculus