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

Cached

Download Links

by Richard Banach , Franck van Breugel