Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract)

View PDF

Download Links

by Richard Banach , Franck van Breugel