%0 Journal Article
%@ 0304-3975
%A Hennessy, Matthew
%A De Nicola, Rocco
%D 1984
%F eprints:393
%I Elsevier
%J Theoretical Computer Science
%P 83-133
%T Testing Equivalences for Processes
%U http://eprints.imtlucca.it/393/
%V 34
%X 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.