FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
From MaRDI portal
Publication:4016733
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)
Petri netslinear logiclinear categoriescategorical modelsquantalesconcurrencycancellative linear logic
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
