Automata-TheoreticVerification of Coordinating Processes (1993)

by R P Kurshan