Computer-Aided Verification of Coordinating Processes (1995)

by R Kurshan