?url_ver=Z39.88-2004&rft_id=10.1007%2Fs002360050086&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Corradini&rft.aufirst=Flavio&rft.au=Corradini%2C+Flavio&rft.issue=4&rft.pages=291-324&rft.volume=34&rft.date=1997&rft.atitle=Locality+Based+Semantics+for+Process+Algebras&rft.title=Acta+Informatica&rft.issn=0001-5903&rft.genre=article