Computer Aided Verification of Coordinating Processes (1994)

by R P Kurshan