@incollection{eprints395,
           pages = {548--560},
          volume = {154},
            year = {1983},
           title = {Testing Equivalence for Processes},
          series = {Lecture Notes in Computer Science},
          author = {Rocco De Nicola and Matthew Hennessy},
       publisher = {Springer},
       booktitle = {Automata, Languages and Programming (ICALP 1983)},
          editor = {Josep Diaz},
             url = {http://eprints.imtlucca.it/395/},
        abstract = {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.}
}