Modeling and Analysis of Communicating Systems

by Mohammad Reza Mousavi and Jan Friso Groote

Book Overview

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems. Complex communicating computer systems-computers connected by data networks and in constant communication with their environments-do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among...

• Format: Paperback
• Language: English
• ISBN: 0262547872
• ISBN13: 9780262547871
• Release Date: May 2023
• Publisher: MIT Press
• Length: 392 Pages
• Weight: 1.72 lbs.
• Dimensions: 0.8" x 8.0" x 10.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher