A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract)

Glynn Winskel

Browse the full LICS paper archive.