Book Details

Coordination Models and Languages (vol. # 3454)

Publication year: 2005

ISBN: 978-3-540-32006-7

Internet Resource: Please Login to download book


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.


Subject: Computer Science, Delegation, Web services, aspect-oriented programming, automata, component interaction, component-based systems, concurrent systems, coordination, coordination languages, coordination middleware, coordination models, distributed systems, mobile agents, modeling, verification