Coordination Models and Languages, 2015 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Programming and Software Engineering Series
Coordonnateurs : Holvoet Tom, Viroli Mirko
Includes supplementary material: sn.pub/extras
Date de parution : 05-2015
Ouvrage de 247 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 :
Abstraction, modeling and modularity, Algorithmic game theory and mechanism design, Complex systems, Concurrency models of computation, Context specific languages, Distributed algorithms, Distributed architectures, Distributed artificial intelligence, Distributed programming languages, Formal language definitions, Formal methods, Formal software verification, Logic and verification by model checking, Massively parallel systems, Multi-agent systems, Process management, Self-organizing autonomic computing, Softwar