On Representing CCS Programs by Finite Petri Nets.

Ursula Goltz

Browse the full MFCS paper archive.