From petri nets to linear logic
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 1469-8072, 0960-1295
Année de publication: 1991
Volumen: 1
Número: 1
Pages: 69-101
Type: Article
Revue:
Mathematical Structures in Computer Science