From petri nets to linear logic
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 1469-8072, 0960-1295
Ano de publicación: 1991
Volume: 1
Número: 1
Páxinas: 69-101
Tipo: Artigo
Revista:
Mathematical Structures in Computer Science
