relation: http://eprints.imtlucca.it/324/
title: Trace and Testing Equivalence on Asynchronous Processes
creator: Boreale, Michele
creator: De Nicola, Rocco
creator: Pugliese, Rosario
subject: QA75 Electronic computers. Computer science
description: We study trace and may-testing equivalences in the asynchronous versions of CCS and π-calculus. We start from the operational definition of the may-testing preorder and provide finitary and fully abstract trace-based characterizations for it, along with a complete in-equational proof system. We also touch upon two variants of this theory by first considering a more demanding equivalence notion (must-testing) and then a richer version of asynchronous CCS. The results throw light on the difference between synchronous and asynchronous communication and on the weaker testing power of asynchronous observations. 
publisher: Elsevier
date: 2002
type: Article
type: PeerReviewed
identifier:   Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario  Trace and Testing Equivalence on Asynchronous Processes.  Information and Computation, 172 (2).  pp. 139-164.  ISSN 0890-5401      (2002)  
relation: http://www.sciencedirect.com/science/article/pii/S0890540101930809
relation: 10.1006/inco.2001.3080