relation: http://eprints.imtlucca.it/393/
title: Testing Equivalences for Processes
creator: Hennessy, Matthew
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: Given a set of processes and a set of tests on these processes we show how to define in a natural way three different equivalences on processes. These equivalences are applied to a particular language CCS. We give associated complete proof systems and fully abstract models. These models have a simple representation in terms of trees.
publisher: Elsevier
date: 1984
type: Article
type: PeerReviewed
identifier:   Hennessy, Matthew and De Nicola, Rocco  Testing Equivalences for Processes.  Theoretical Computer Science, 34.  pp. 83-133.  ISSN 0304-3975      (1984)  
relation: http://www.sciencedirect.com/science/article/pii/0304397584901130
relation: 10.1016/0304-3975(84)90113-0