"A Category of Labelled Petri Nets and Compositional Proof System (Extended ..."

Glynn Winskel (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics