relation: http://eprints.imtlucca.it/395/
title: Testing Equivalence for Processes
creator: De Nicola, Rocco
creator: Hennessy, Matthew
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: Springer
contributor: Diaz, Josep
date: 1983
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco and Hennessy, Matthew  Testing Equivalence for Processes.   In:  Automata, Languages and Programming (ICALP 1983).   Lecture Notes in Computer Science, 154 .  Springer, pp. 548-560.  ISBN 3-540-12317-2      (1983)  
relation: http://dx.doi.org/10.1007/BFb0036936
relation: 10.1007/BFb0036936