Applying a testing approach to the calculus of fair ambients

DOI10.1080/00207160903243148MaRDI QIDQ5850754zbMATH OpenOpenAlexFDO

Authors Xiaojuan Cai, Han Zhu

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)

Recommendations

• Fair ambients
• Testing equivalence for mobile processes
• Explicit fairness in testing semantics
• Fair \(\pi\)
• Publication:4942011

Cites work

• scientific article; zbMATH DE number 1927569 (Why is no real title available?)
• scientific article; zbMATH DE number 1863170 (Why is no real title available?)
• A calculus of mobile processes. I
• Anytime, anywhere: modal logics for mobile ambients
• Bisimulation congruences in safe ambients
• Controlling interference in ambients
• Deriving Structural Labelled Transitions for Mobile Ambients
• Equational properties of mobile ambients
• Fair ambients
• Mobile ambients
• On quasi-open bisimulation
• Testing congruence for mobile processes
• Testing equivalence for mobile processes
• Testing equivalences for processes
• Typing evolving ambients

Cited in

(3)

• Stubborn Sets, Frozen Actions, and Fair Testing
• Testing equivalence for mobile processes
• Explicit fairness in testing semantics

This page was built for publication: Applying a testing approach to the calculus of fair ambients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5850754)