?url_ver=Z39.88-2004&rft_id=10.4204%2FEPTCS.41.2&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Banti&rft.aufirst=Federico&rft.au=Banti%2C+Federico&rft.date=2010&rft.title=Proc.+of+17th+International+Workshop+on+Expressiveness+in+Concurrency+(EXPRESS+2010)%2C+Electronic+Proceedings+in+Theoretical+Computer+Science&rft.atitle=A+criterion+for+separating+process+calculi&rft.series=EPTCS&rft.pages=16-30&rft.volume=41+&rft.issn=20752180+&rft.genre=article