Concurrent nets: a study of prefixing in process calculi

DOI10.1016/j.tcs.2006.02.009zbMath1092.68063OpenAlexW2079299494MaRDI QIDQ2491636

François Maurel, Emmanuel Beffara

Publication date: 29 May 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.02.009

zbMATH Keywords

\(\pi \)-calculusfusion calculusgraphical syntaxprefixing

Mathematics Subject Classification ID

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

Related Items (2)

Interpreting a finitary pi-calculus in differential interaction nets ⋮ An interpretation of CCS into ludics

Cites Work

• A calculus of mobile processes. II
• Bigraphs and transitions
• A proof theoretical approach to communication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Concurrent nets: a study of prefixing in process calculi