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: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
