Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings

by De Meuter, Wolfgang; Roman, Gruia-Catalin

• ISBN13: 9783642214639
• ISBN10: 3642214630
• Format: Paperback
• Copyright: 2011-07-25
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verification and analysis techniques.

Table of Contents

Fault in the Future	p. 1
Revisiting Glue Expressiveness in Component-Based Systems	p. 16
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models	p. 31
The Context of Coordinating Groups in Dynamic Mobile Networks	p. 49
CSP as a Coordination Language	p. 65
An Efficient Management of Correlation Sets with Broadcast	p. 80
Session Typing for a Featherweight Erlang	p. 95
Safe Parallel Programming with Session Java	p. 110
Fair Subtyping for Multi-party Session Types	p. 127
Enabling Cross-Technology Mobile Applications with Network-Aware References	p. 142
Coordination and Concurrency in Multi-engine Prolog	p. 157
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks	p. 172
Simulation-Based Performance Analysis of Channel-Based Coordination Models	p. 187
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces	p. 202
Author Index	p. 219
Table of Contents provided by Ingram. All Rights Reserved.