Linear logic on Petri nets (1994)

by U Engberg, G Winskel
Venue:In REX, a decade of concurrency, 1993, volume 803 of LNCS