On confluence in the π-calculus

DOI10.1007/3-540-63165-8_188zbMath1401.68232OpenAlexW1490549046MaRDI QIDQ4571963

No author found.

Publication date: 4 July 2018

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

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

Mathematics Subject Classification ID

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

Related Items

A theory for observational fault tolerance ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ On asynchronous eventful session semantics ⋮ Linearity and bisimulation

Cites Work

• Confluence for process verification
• Modal logics for mobile processes
• A calculus of communicating systems
• A calculus of mobile processes. I
• The name discipline of uniform receptiveness
• Confluence of processes and systems of objects
• Behavioral equivalence in the polymorphic pi-calculus
• On transformations of concurrent object programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item