Concurrent systems analysis using ECATNets

DOI10.1093/JIGPAL/8.2.149zbMATH Open0951.68096OpenAlexW2090768172MaRDI QIDQ4952022

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

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)

Related Items (1)

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)