Rocco De Nicola, Matthew Hennessy. Testing Equivalences for Processes. Theoretical Computer Science, 34:83-133, 1984.
@article{NicolaH84, title = {Testing Equivalences for Processes}, author = {Rocco De Nicola and Matthew Hennessy}, year = {1984}, tags = {testing}, researchr = {https://researchr.org/publication/NicolaH84}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {34}, pages = {83-133}, }