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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1080/00207160903243148 | INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Keywords | Field | DocType |
theoretical computer science, concurrency theory, process calculus, fair ambients, testing equivalence | Equivalence (measure theory),Process calculus,Congruence (geometry),Mathematics,Calculus | Journal |
Volume | Issue | ISSN |
86 | 12 | 0020-7160 |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xiaojuan Cai | 1 | 36 | 5.95 |
Zhu Han | 2 | 11215 | 760.71 |