Computer-Aided Veri cation of Coordinating Processes (1994)

by R P Kurshan