@article{eprints393,
          volume = {34},
         journal = {Theoretical Computer Science},
       publisher = {Elsevier},
          author = {Matthew Hennessy and Rocco De Nicola},
           pages = {83--133},
           title = {Testing Equivalences for Processes},
            year = {1984},
             url = {http://eprints.imtlucca.it/393/},
        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.}
}