TY  - JOUR
AV  - none
ID  - eprints364
TI  - Testing Equivalence for Mobile Processes
UR  - http://www.sciencedirect.com/science/article/pii/S0890540185711145
IS  - 2
JF  - Information and Computation
N2  - The impact of applying the testing approach to a calculus of processes with dynamic communication topology is investigated. A proof system is introduced that consists of two groups of laws: those for strong observational equivalence and those needed to deal with invisible actions. Soundness and completeness of this proof system w.r.t. a testing preorder are shown. A fully abstract denotational model for the language is presented that takes advantage of reductions of processes to normal forms.

SN  - 0890-5401
PB  - Elsevier
VL  - 120
EP  - 303
Y1  - 1995///
SP  - 279
A1  - Boreale, Michele
A1  - De Nicola, Rocco
ER  -