Petri Nets, Algebras, Morphisms and Compositionality (1987)

by G Winskel
Venue:Information and Computation