Acyclic Solos and Differential Interaction Nets

DOI10.2168/LMCS-6(3:11)2010zbMath1214.68246arXiv1007.0120OpenAlexW3104071867MaRDI QIDQ2786128

Thomas Ehrhard, Olivier Laurent

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.0120

zbMATH Keywords

prefixpi-calculusdifferential interaction netstypingsolos calculus

Mathematics Subject Classification ID

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

Related Items (5)

A Behavioural Theory for a π-calculus with Preorders ⋮ The true concurrency of differential interaction nets ⋮ A behavioural theory for a \(\pi\)-calculus with preorders ⋮ A coherent differential PCF ⋮ Interpreting a finitary pi-calculus in differential interaction nets

This page was built for publication: Acyclic Solos and Differential Interaction Nets