From petri nets to linear logic

  1. Martí-Oliet, N.
  2. Meseguer, J.
Revista:
Mathematical Structures in Computer Science

ISSN: 1469-8072 0960-1295

Año de publicación: 1991

Volumen: 1

Número: 1

Páginas: 69-101

Tipo: Artículo

DOI: 10.1017/S0960129500000062 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible