Modeling and analysis of communicating systems

• Main Author: Groote, J. F. 1965-
• Other Authors: Mousavi, Mohammad Reza, 1978-
• Format: eBook
• Language: English
• Published: Cambridge, Massachusetts : The MIT Press, [2014]
• Subjects: Telecommunication systems > Simulation methods.; Computer science > Mathematics.; Machine theory.; elektronické knihy; electronic books
• ISBN: 9780262321037; 9780262027717
• Physical Description: 1 online zdroj (xvi, 376 pages) : illustrations.

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 distr...