From petri nets to linear logic

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

ISSN: 1469-8072 0960-1295

Argitalpen urtea: 1991

Alea: 1

Zenbakia: 1

Orrialdeak: 69-101

Mota: Artikulua

DOI: 10.1017/S0960129500000062 GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak