From Petri nets to linear logic (1991)

by N Martí-Oliet, J Meseguer
Venue:Mathematical Structures in Computer Science