relation: http://eprints.imtlucca.it/364/
title: Testing Equivalence for Mobile Processes
creator: Boreale, Michele
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: 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.  
publisher: Elsevier
date: 1995
type: Article
type: PeerReviewed
identifier:   Boreale, Michele and De Nicola, Rocco  Testing Equivalence for Mobile Processes.  Information and Computation, 120 (2).  pp. 279-303.  ISSN 0890-5401      (1995)  
relation: http://www.sciencedirect.com/science/article/pii/S0890540185711145
relation: 10.1006/inco.1995.1114