Linear logic on petri nets (1994)

by Uffe H Engberg, Glynn Winskel
Venue:In A Decade of Concurrency: Reflections and Perspectives, REX School/Symposium Proceedings, volume 803 of Lecture Notes in Computer Science