R. P. Kurshan

• Computer-aided verification of coordinating processes