Applying a testing approach to the Calculus of Fair Ambients

DOI10.1080/00207160903243148zbMath1187.68325OpenAlexW2057614962MaRDI QIDQ5850754

Han Zhu, Xiaojuan Cai

Publication date: 15 January 2010

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160903243148

zbMATH Keywords

process calculustesting equivalenceconcurrency theorytheoretical computer sciencefair ambients

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• On quasi-open bisimulation
• Fair ambients
• A calculus of mobile processes. I
• Testing equivalences for processes
• Mobile ambients
• Testing congruence for mobile processes
• Typing evolving ambients
• Testing equivalence for mobile processes
• Deriving Structural Labelled Transitions for Mobile Ambients
• Equational properties of mobile ambients
• Controlling interference in ambients
• Anytime, anywhere
• Bisimulation congruences in safe ambients

This page was built for publication: Applying a testing approach to the Calculus of Fair Ambients