A Foundational Theory of Contracts for Multi-party Service Composition

Mario Bravetti, Gianluigi Zavattaro. A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae, 89(4):451-478, 2008. [doi]

Abstract

Abstract is missing.