Testing equivalences for processes

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 system and fully abstract models. these models have a simple representation in terms of trees.