Interpreting a Finitary Pi-calculus in Differential Interaction Nets

DOI10.1007/978-3-540-74407-8_23zbMath1151.68526OpenAlexW1534698598MaRDI QIDQ3525647

Olivier Laurent, Thomas Ehrhard

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_23

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Transport of finiteness structures and applications ⋮ Order algebras: a quantitative model of interaction ⋮ The conservation theorem for differential nets ⋮ A coherent differential PCF ⋮ Cofree coalgebras and differential linear logic ⋮ The Cut-Elimination Theorem for Differential Nets with Promotion ⋮ Differential Linear Logic and Polarization ⋮ Confluence of Pure Differential Nets with Promotion

This page was built for publication: Interpreting a Finitary Pi-calculus in Differential Interaction Nets