Formal Methods for Service Composition. (2007)

by Maurice H ter Beek, Antonio Bucchiarone, Stefania Gnesi
Venue:Annals of Mathematics, Computing and Teleinformatics,