Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systemsComplex communicating computer systems--computers connected by data... This description may be from another edition of this product.