Compositional Event Structure Semantics for the Internal π-Calculus

DOI10.1007/978-3-540-74407-8_22zbMath1151.68524OpenAlexW1555655467MaRDI QIDQ3525646

Nobuko Yoshida, Daniele Varacca, Silvia Crafa

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_22

Mathematics Subject Classification ID

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

Related Items (8)

Reversibility in the higher-order \(\pi\)-calculus ⋮ Order algebras: a quantitative model of interaction ⋮ A stable non-interleaving early operational semantics for the pi-calculus ⋮ Event structure semantics for multiparty sessions ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ Concurrency cannot be observed, asynchronously ⋮ Event structures for the reversible early internal \(\pi\)-calculus

This page was built for publication: Compositional Event Structure Semantics for the Internal π-Calculus