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