Behavioural Contracts with Request-Response Operations.

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro

Browse the full Coordination paper archive.