Petri Nets, Algebras, Morphisms, and Compositionality (1987)

by G Winskel
Venue:Information and Computation