Understanding Behaviour of Distributed Systems Using mCRL2

DOI10.1007/978-3-031-23008-0MaRDI QIDQ6488308zbMATH OpenFDO

Authors Jan Friso Groote

Publication date 5 April 2023

Published in Studies in Systems, Decision and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-23008-0

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modeling and analysis of communicating systems
• Modelling distributed systems.
• scientific article; zbMATH DE number 1897216
• Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
• Coloured Petri Nets

This page was built for publication: Understanding Behaviour of Distributed Systems Using mCRL2

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