Sciweavers

FUIN
2008
89views more  FUIN 2008»
13 years 4 months ago
A Foundational Theory of Contracts for Multi-party Service Composition
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
Mario Bravetti, Gianluigi Zavattaro