From Petri nets to linear logic through categories: a survey, Znternat (1991)

by N Marti-Oliet, J Meseguer
Venue:Foundations Comput. Sci