From petri nets to linear logic
From MaRDI portal
Publication:5096267
DOI10.1007/BFb0018359zbMath1493.68250OpenAlexW2151402914MaRDI QIDQ5096267
Narciso Martí-Oliet, José Meseguer
Publication date: 16 August 2022
Published in: Category Theory and Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0018359
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categories of machines, automata (18B20) Categorical aspects of linear logic (18M45)
Related Items (13)
Linear logic as a logic of computations ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Holomorphic models of exponential types in linear logic ⋮ On proof normalization in linear logic ⋮ Petri nets, Horn programs, linear logic and vector games ⋮ Linear logic automata ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ A monoidal closed category of event structures ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Decision problems for propositional linear logic ⋮ Linear logic, coherence and dinaturality ⋮ Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Preface to the special volume
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Petri nets are monoids
- The linear abstract machine
- System modelling with high-level Petri nets
- Coherence in categories
- Adjointness in Foundations
- Why commutative diagrams coincide with equivalent proofs
- Deductive systems and categories
This page was built for publication: From petri nets to linear logic