Towards a Unifying Theory for Choreography Conformance and Contract Compliance (2007)

by Mario Bravetti, Gianluigi Zavattaro
Venue:In SC’07, volume 4829 of LNCS