Sciweavers

SEFM
2014
IEEE
10 years 7 months ago
Towards Global and Local Types for Adaptation
Choreographies allow designers to specify the protocols followed by participants of a distributed interaction. Adapting the behavior of a participant, either because of external r...
Mario Bravetti, Marco Carbone, Thomas T. Hildebran...