From petri nets to linear logic

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

Mathematics Subject Classification ID

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