Call-by-Contract for Service Discovery, Orchestration and Recovery

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino. Call-by-Contract for Service Discovery, Orchestration and Recovery. In Martin Wirsing, Matthias M. Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Volume 6582 of Lecture Notes in Computer Science, pages 232-261, Springer, 2011. [doi]

Authors

Massimo Bartoletti

This author has not been identified. Look up 'Massimo Bartoletti' in Google

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Gian Luigi Ferrari

This author has not been identified. Look up 'Gian Luigi Ferrari' in Google

Roberto Zunino

This author has not been identified. Look up 'Roberto Zunino' in Google