From Petri Nets to Linear Logic (1991)

by N Marti-Oliet, J Meseguer
Venue:Mathematicai' Structures in Computer Science