Computer-aided Veri of Coordinating Processes (1994)

by R Kurshan