Coordination Models and Languages: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, COORDINATION 2005, held in Namur, Belgium in April 2005.

The 19 revised full papers presented were carefully reviewed and selected from 88 submissions. Among the topics addressed are Web services, safe ambients, process calculus, abstract verification, role-based software, delegation modeling, distributed information flow, adaptive Web content provision, global computing, mobile agents, mobile computing, multithreaded code generation, shared data space coordination languages, automata specifications, time aware coordination, and service discovery.