Coordination Models and Languages, 1st ed. 2016 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings Programming and Software Engineering Series
Coordonnateurs : Lluch Lafuente Alberto, Proença José
Includes supplementary material: sn.pub/extras
Date de parution : 06-2016
Ouvrage de 279 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Coordination Models and Languages :
Mots-clés :
communication abstractions; formal verification; model-checking; probabilistic models; programming; actors; behavioural types; collective adaptive systems; communication protocols; concurrent objects; constraint automata; contracts; dissemination techniques; distributed algorithms; game theory; information flow policies; interfaces; robustness; scheduling; synthesis