?url_ver=Z39.88-2004&rft_id=10.1006%2Finco.2001.3080&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Boreale&rft.aufirst=Michele&rft.au=Boreale%2C+Michele&rft.issn=0890-5401&rft.volume=172&rft.issue=2&rft.pages=139-164&rft.title=Information+and+Computation&rft.atitle=Trace+and+Testing+Equivalence+on+Asynchronous+Processes&rft.date=2002&rft.genre=article