From petri nets to linear logic

Narciso Martí-Oliet, José Meseguer

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Pages (from-to)69-101
Number of pages33
JournalMathematical Structures in Computer Science
Volume1
Issue number1
DOIs
StatePublished - Mar 1991
Externally publishedYes

ASJC Scopus subject areas

  • Mathematics (miscellaneous)
  • Computer Science Applications

Cite this