FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY

From MaRDI portal

Revision as of 01:44, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4016733

Jump to:navigation, search

DOI10.1142/S0129054191000182zbMath0766.68100MaRDI QIDQ4016733

Narciso Martí-Oliet, José Meseguer

Publication date: 16 January 1993

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

Petri nets linear logic linear categories categorical models quantales concurrency cancellative linear logic

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

Semantic data modelling using linear logic ⋮ Completeness results for linear logic on Petri nets ⋮ Petri nets are dioids: a new algebraic foundation for non-deterministic net theory ⋮ Unnamed Item ⋮ Process versus unfolding semantics for Place/Transition Petri nets ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Rewriting on cyclic structures: Equivalence between the operational and the categorical description ⋮ Petri Nets Are Dioids

This page was built for publication: FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4016733&oldid=17717704"