Coordination Models and Languages
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
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on tuple-based coordination, coordinating ensembles, constraints, agent-oriented techniques and shared spaces.
Includes supplementary material: sn.pub/extras
Autor*in
Tom Holvoet
Themen in »Coordination Models and Languages«
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