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

by G Winskel
Venue:Information and Computation