?url_ver=Z39.88-2004&rft_id=10.3233%2FFI-1996-27402&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Corradini%2C+Flavio&rft.aufirst=Flavio&rft.aulast=Corradini&rft.issn=1875-8681&rft.volume=27&rft.issue=4&rft.pages=349-383&rft.atitle=On+Four+Partial+Ordering+Semantics+for+a+Process+Calculus&rft.title=Fundamenta+Informaticae&rft.date=1996&rft.genre=article