Petri nets and bisimulation (1996)

by M Nielsen, G Winskel
Venue:Theoretical Computer Science 153