A formalisation of adaptable pervasive flows (2009)

by A Bucchiarone, A Lluch-Lafuente, A Marconi, M Pistore
Venue:in: Web Services and Formal Methods