Name-Passing Calculi: From Fusions to Preorders and Types
From MaRDI portal
Publication:5271075
DOI10.1109/LICS.2013.44zbMath1366.68205OpenAlexW2016150924MaRDI QIDQ5271075
Davide Sangiorgi, Jean-Marie Madiot, Daniel Hirschkoff
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2013.44
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
A Behavioural Theory for a π-calculus with Preorders ⋮ Name-passing calculi: from fusions to preorders and types ⋮ Symmetries and Dualities in Name-Passing Process Calculi ⋮ A behavioural theory for a \(\pi\)-calculus with preorders ⋮ Psi-calculi revisited: connectivity and compositionality ⋮ Unnamed Item
This page was built for publication: Name-Passing Calculi: From Fusions to Preorders and Types
