Coordination Models and Languages

The book "Coordination Models and Languages" documents the proceedings of the 18th International Conference on Coordination Models and Languages, which took place in June 2016 in Heraklion, Crete. This conference was part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. This volume contains 16 full papers that were carefully selected from 44 submitted works. The topics covered encompass a wide range of techniques and approaches to system coordination, making the book a valuable resource for professionals and researchers in the field of computer science. The subjects discussed range from programming and communication abstractions to communication protocols and behavioral types, as well as probabilistic models and formal verification. This diversity of topics provides a comprehensive insight into current developments and challenges in the field of system coordination.