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.
2000 AMS Subject Classification :
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).