Applying a testing approach to the Calculus of Fair Ambients

Abstract

We apply a testing approach to the Calculus of Fair Ambients and investigate the resulting testing equivalence. We prove that variant conditions on its definition do not change its discriminating power, and it is congruent on finite processes. On a proper subset of processes, open bisimilarity is strictly included in testing equivalence. It is also proved that the translation from Pi-Calculus to Fair Ambients is fully abstract with respect to testing equivalence.

Keywords:

• theoretical computer science
• concurrency theory
• process calculus
• fair ambients
• testing equivalence

2000 AMS Subject Classification :

• 68Q85

Acknowledgements

The authors would like to express their gratitude to Prof. Yuxi Fu for his inspiration, guidance and many fruitful discussions on this topic. The authors are indebted to members of Basics Lab for their proofreading of this paper and many useful suggestions on improvements. The authors also wish to thank anonymous referees for their constructive comments. This work is supported by the National 973 Project (2003CB317005) and the National Nature Science Foundation of China (60573002, 60703033).