πI: A symmetric calculus based on internal mobility

DOI10.1007/3-540-59293-8_194zbMath1496.68244OpenAlexW1508408261MaRDI QIDQ5096730

Davide Sangiorgi

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_194

Mathematics Subject Classification ID

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

Related Items (3)

From infinity to choreographies. Extraction for unbounded systems ⋮ An exact correspondence between a typed pi-calculus and polarised proof-nets ⋮ A conservative look at operational semantics with variable binding

Cites Work

• Algebra of communicating processes with abstraction
• A calculus of mobile processes. I
• A \(\pi\)-calculus with explicit substitutions
• Functions as processes
• A fully abstract semantics for causality in the π-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: πI: A symmetric calculus based on internal mobility