Sciweavers

SEFM
2014
IEEE
12 years 12 days 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...