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

Book by R. P. Kurshan