Testing congruence for mobile processes

DOI10.1007/BF02949827zbMath1004.68118OpenAlexW1486166401MaRDI QIDQ1599646

Yuxi Fu

Publication date: 2 February 2003

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02949827

zbMATH Keywords

process calculus\(\pi\) processes

Mathematics Subject Classification ID

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

Related Items (2)

Tau laws for pi calculus ⋮ Applying a testing approach to the Calculus of Fair Ambients

Cites Work

• Symbolic bisimulations
• A calculus of mobile processes. I
• Testing equivalences for processes
• Algebraic theories for name-passing calculi
• Testing equivalence for mobile processes
• Variations on mobile processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Testing congruence for mobile processes