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

by R P Kurshan