@article{eprints364,
          volume = {120},
          number = {2},
         journal = {Information and Computation},
          author = {Michele Boreale and Rocco De Nicola},
            year = {1995},
           title = {Testing Equivalence for Mobile Processes},
       publisher = {Elsevier},
           pages = {279--303},
             url = {http://eprints.imtlucca.it/364/},
        abstract = {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.
}
}