?url_ver=Z39.88-2004&rft_id=10.1006%2Finco.1996.0032&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Michele&rft.au=Boreale%2C+Michele&rft.aulast=Boreale&rft.atitle=A+Symbolic+Semantics+for+the+pi-Calculus&rft.issue=1&rft.volume=126&rft.date=1996&rft.title=Information+and+Computation&rft.issn=0890-5401&rft.pages=34-52&rft.genre=article