Internal mobility and agent-passing calculi

DOI10.1007/3-540-60084-1_114zbMath1412.68156OpenAlexW1570540692MaRDI QIDQ4645220

Davide Sangiorgi

Publication date: 10 January 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60084-1_114

zbMATH Keywords

operational semanticsprocess calculusmobile processinternal mobilityprocess linkage

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Encoding Distributed Areas and Local Communication into the π-Calculus

Cites Work

• Fundamental properties of infinite trees
• A calculus of mobile processes. II
• A fully abstract semantics for causality in the π-calculus
• Unnamed Item
• Unnamed Item