Michele Boreale, Rocco De Nicola, Rosario Pugliese. Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput., 172(2):139-164, 2002. [doi]
@article{BorealeNP02,
title = {Trace and Testing Equivalence on Asynchronous Processes},
author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese},
year = {2002},
url = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.3080},
tags = {testing},
researchr = {https://researchr.org/publication/BorealeNP02},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {172},
number = {2},
pages = {139-164},
}