Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems

DOI10.1007/s00165-021-00533-8zbMath1460.00021OpenAlexW3138558887MaRDI QIDQ2026378

Matteo Rossi

Publication date: 19 May 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00533-8

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed systems (68M14) Network protocols (68M12) Distributed algorithms (68W15) External book reviews (00A17)

Cites Work

• Unnamed Item
• Decision procedures. An algorithmic point of view
• Handbook of Model Checking

This page was built for publication: Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems