Reasoning about orchestrations of web services using partial correctness | Publicación