?url_ver=Z39.88-2004&rft_id=10.1006%2Finco.1995.1114&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Boreale%2C+Michele&rft.aulast=Boreale&rft.aufirst=Michele&rft.issn=0890-5401&rft.pages=279-303&rft.issue=2&rft.volume=120&rft.date=1995&rft.title=Information+and+Computation&rft.atitle=Testing+Equivalence+for+Mobile+Processes&rft.genre=article