Modeling and Analysis of Communicating Systems
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems.