A fully abstract semantics for causality in the π-calculus
From MaRDI portal
Publication:4596625
DOI10.1007/3-540-59042-0_77zbMath1379.68245OpenAlexW1595835410MaRDI QIDQ4596625
Davide Sangiorgi, Michele Boreale
Publication date: 4 December 2017
Published in: STACS 95 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59042-0_77
Related Items
Causality and true concurrency: A data-flow analysis of the Pi-Calculus, πI: A symmetric calculus based on internal mobility, Symmetries, local names and dynamic (de)-allocation of names, A stable non-interleaving early operational semantics for the pi-calculus, Causality for mobile processes, Internal mobility and agent-passing calculi, Static versus dynamic reversibility in CCS, Causal static analysis for brane calculi