About these proceedings
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.
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 Software infrastructure Software system models Ubiquitous and mobile computing