%0 Journal Article
%@ 0890-5401
%A Boreale, Michele
%A De Nicola, Rocco
%D 1995
%F eprints:364
%I Elsevier
%J Information and Computation
%N 2
%P 279-303
%T Testing Equivalence for Mobile Processes
%U http://eprints.imtlucca.it/364/
%V 120
%X 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.