Encoding Petri Nets into CCS.

Benjamin Bog, Andrea Burattin, Alceste Scalas

Browse the full Coordination paper archive.