Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study

DOI10.1007/978-3-642-17071-3_9zbMATH Open1312.68139OpenAlexW1862113050MaRDI QIDQ3066124FDOQ3066124

Michel A. Reniers, Jan Friso Groote, Frank P. M. Stappers

Publication date: 8 January 2011

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17071-3_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Statecharts: a visual formalism for complex systems
• Process algebra for synchronous communication
• Results on the propositional \(\mu\)-calculus
• Process algebra with timing

Uses Software

• mCRL2
• SPIN

This page was built for publication: Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study

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