CMC-UMC: a framework for the verification of abstract service-oriented properties.

Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi

Browse the full SAC paper archive.