111 search results - page 23 / 23 » A Logic-Based Formalism to Model and Analyze Workflow Execut... |
APN
2010
Springer
13 years 10 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...