On the expressiveness of internal mobility in name-passing calculi

DOI10.1007/3-540-61604-7_54zbMath1514.68157OpenAlexW4255868216MaRDI QIDQ6104372

Michele Boreale

Publication date: 28 June 2023

Published in: CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61604-7_54

Mathematics Subject Classification ID

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

Related Items

Theory of interaction, Asynchronous process calculi: The first- and higher-order paradigms

Cites Work

• An efficiency preorder for processes
• Algebraic theories for name-passing calculi
• Functions as processes
• Unnamed Item