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

by M Bravetti, G Zavattaro
Venue:in Pre-proceedings of 6th Symposium on Software Composition