scientific article; zbMATH DE number 1479638

zbMATH Open0942.03526MaRDI QIDQ4490754FDOQ4490754

Authors: Max Kanovich 

Publication date: 20 July 2000

Title of this publication is not available (Why is that?)

Recommendations

• Petri nets, Horn programs, linear logic and vector games
• From Petri nets to linear logic
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• Linear logic as a logic of computations
• From Petri nets to linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (7)

• Timed Petri nets and temporal linear logic
• Linear logic automata
• Relational semantics for a fragment of linear logic
• Petri nets, Horn programs, linear logic and vector games
• Decidability of linear affine logic
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• From Petri nets to linear logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490754)