Petri nets, algebras, morphisms, and compositionality (1987)

by G Winskel
Venue:Information and Computation