Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

A deep dive into using automata theory to verify coordination protocols, this book blends rigorous mathematics with case studies, offering readers a clear framework for modeling, analyzing, and proving system properties.

Share: