%T Testing Equivalences for Processes
%R 10.1016/0304-3975(84)90113-0
%J Theoretical Computer Science
%P 83-133
%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.
%L eprints393
%I Elsevier
%D 1984
%A Matthew Hennessy
%A Rocco De Nicola