Contract Compliance and Choreography Conformance in the Presence of Message Queues (2009)

by M Bravetti, G Zavattaro
Venue:In Proc. of WS-FM’08, volume 5387 of LNCS