Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, in June 2007, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2007.The 17 revised full papers presented were carefully reviewed and selected from 51 submissions. The subject-matter is how to increase modularity, simplify reasoning, and ultimately enhance today's software development by exploring the spectrum of languages, middleware, services, and algorithms. The papers are organized in topical sections on middleware, logic programming, formal approaches, concurrency, components and services, as well as MANets.