56 search results - page 12 / 12 » Interface synthesis and protocol conversion |
84
Voted
APN
2010
Springer
15 years 2 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...