scientific article; zbMATH DE number 2152690

zbMATH Open1061.03074MaRDI QIDQ4664258FDOQ4664258

Authors: Christian Retoré 

Publication date: 5 April 2005

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

Recommendations

• scientific article; zbMATH DE number 125887
• scientific article; zbMATH DE number 3974312
• From Petri nets to linear logic
• From Petri nets to linear logic
• Linear logic based calculi for object Petri nets

zbMATH Keywords

Petri netsseries-parallel orderconcurrent firingpartially commutative linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) 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 (1)

• 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 Q4664258)