Coordination contracts for Java applications.

Joo Gouveia, Georgios Koutsoukos, Michel Wermelinger, Lus Andrade, Jos Luiz Fiadeiro

Browse the full ICSE paper archive.