Towards a unifying theory for choreography conformance and contract compliance (2007)

by Mario Bravetti, Gianluigi Zavattaro
Venue:In Pre-proceedings of 6th Symposium on Software Composition