Computer-Aided Verification of Coordinating Processes (1994)

by R P Kurshan