Partial ordering derivations for CCS.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Browse the full FCT paper archive.