TY  - JOUR
EP  - 133
ID  - eprints393
VL  - 34
UR  - http://www.sciencedirect.com/science/article/pii/0304397584901130
JF  - Theoretical Computer Science
TI  - Testing Equivalences for Processes
AV  - none
Y1  - 1984///
SP  - 83
N2  - 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.
A1  - Hennessy, Matthew
A1  - De Nicola, Rocco
PB  - Elsevier
SN  - 0304-3975
ER  -