scientific article; zbMATH DE number 2152690

MaRDI QIDQ4664258zbMATH OpenFDO

Authors Christian Retoré

Publication date 5 April 2005

zbMATH Keywords

concurrent firingpartially commutative linear logicPetri netsseries-parallel order

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)

Recommendations

• Petri nets as models of linear logic
• 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

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)