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

by M Bravetti, G Zavattaro
Venue:Proc. SC’07, LNCS 4829,