This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of dis

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems. Complex communicating computer

"The professional schools will resume their professional responsibilities just to the degree that they can discover a science of design, a body of intellectuall

SDL 92 is the recognized international standard language for designing and specifying telecommunications systems, and is increasingly also used for RAD, real-ti

This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view