Construction and Analysis of Transition Systems with MEC

DOI10.1142/2505MaRDI QIDQ4850737zbMATH OpenOpenAlexFDO

Authors D. Bégay, Paul Crubille, André Arnold

Publication date 18 October 1995

Published in AMAST Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/2505

zbMATH Keywords

transition systemscommunicating processes

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verification and comparison of transition systems
• scientific article; zbMATH DE number 139604
• scientific article; zbMATH DE number 557977

Cited in

(5)

• Nivat's processes and their synchronization
• \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
• Equivalence checking 40 years after: a review of bisimulation tools
• Formal verification of concurrent systems via directed model checking
• A contribution to the validation of grafcet controlled systems

This page was built for publication: Construction and Analysis of Transition Systems with MEC

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