G.: A Foundational Theory of Contracts for Multi-party Service Composition (2008)

by M Bravetti, Zavattaro
Venue:Fundamenta Informaticae