Oliveira N, Barbosa LS.? 2012.??Reconfiguration mechanisms for service coordination. 9th International Workshop on Web Services and Formal Methods - WS-FM. 7843:134-149.