From petri nets to linear logic
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 1469-8072, 0960-1295
Año de publicación: 1991
Volumen: 1
Número: 1
Páginas: 69-101
Tipo: Artículo
Revista:
Mathematical Structures in Computer Science