Michele Boreale Rocco De Nicola Rosario Pugliese Trace and Testing Equivalence on Asynchronous Processes. 139-164 2002 172 Inf. Comput. 2 http://dx.doi.org/10.1006/inco.2001.3080 db/journals/iandc/iandc172.html#BorealeNP02