Concurrent systems analysis using ECATNets

DOI10.1093/JIGPAL/8.2.149MaRDI QIDQ4952022zbMATH OpenOpenAlexFDO

Authors F. Belala, M. Bettaz, Laure Petrucci-Dauchy

Publication date 9 May 2000

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/8ee87a20aae1e6763a0ad737ccf9ce3335feb737

zbMATH Keywords

concurrent systemsECATNet model

Mathematics Subject Classification ID

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

Recommendations

• A natural semantic framework for ECATNets
• scientific article; zbMATH DE number 1302049
• From Petri nets to linear logic
• From Petri nets to linear logic

Cited in

(2)

• A natural semantic framework for ECATNets
• Convergent Systems: Analysis and Synthesis

This page was built for publication: Concurrent systems analysis using ECATNets

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