"On the Relationship of CCS and Petri Nets."

Ursula Goltz, Alan Mycroft (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics