The verification of coordination (2000)

by P Dechering, I v Langevelde
Venue:In Proc. of COORDINATION, LNCS 1906