scientific article; zbMATH DE number 1495504

MaRDI QIDQ4498038zbMATH OpenFDO

Authors Janette Cardoso, Robert Valette, Brigitte Pradin-Chezalviel

Publication date 24 August 2000

Mathematics Subject Classification ID

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

• Linear logic based calculi for object Petri nets
• scientific article; zbMATH DE number 1337887
• scientific article; zbMATH DE number 125887
• Comparing concepts of object Petri net formalisms

Cited in

(2)

• Linear logic based calculi for object Petri nets
• Fuzzy sets, linear logic and petrinets

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