Niels Lohmann
Web Services and Formal Methods
Rationality of Service Composition of Workflow Net in a Service Oriented Architecture