scientific article; zbMATH DE number 1231699

MaRDI QIDQ4223030zbMATH OpenFDO

Authors Dominique Larchey-Wendling, Didier Galmiche

Publication date 10 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17006

zbMATH Keywords

intuitionistic linear logicPetri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Completeness results for linear logic on Petri nets
• The completeness of linear logic for Petri net models
• scientific article; zbMATH DE number 7359406
• From Petri nets to linear logic
• From Petri nets to linear logic
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Proof-search and proof nets in mixed linear logic
• scientific article; zbMATH DE number 1231698

Cited in

(3)

• Phase semantics and Petri net interpretation for resource-sensitive strong negation
• Proof-search in type-theoretic languages: An introduction
• On intuitionistic proof nets with additional rewrite rules and their approximations

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 Q4223030)