A category of labelled Petri nets and compositional proof system (1988)

by G Winskel
Venue:In Proc. 3rd Annual Symposium on Logic in Computer Science