Modeling and analysis of communicating 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 distr...

Full description

Bibliographic Details

Main Author:	Groote, J. F. (Jan Friso), 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. COMPUTER SCIENCE/General Electronic books.
Online Access:	Connect to the full text of this electronic book