Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Lecture Notes in Computer Science, 6721)

Annotation 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 Front Matter....Pages - Fault in the Future....Pages 1-15 Revisiting Glue Expressiveness in Component-Based Systems....Pages 16-30 Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models....Pages 31-48 The Context of Coordinating Groups in Dynamic Mobile Networks....Pages 49-64 CSP as a Coordination Language....Pages 65-79 An Efficient Management of Correlation Sets with Broadcast....Pages 80-94 Session Typing for a Featherweight Erlang....Pages 95-109 Safe Parallel Programming with Session Java....Pages 110-126 Fair Subtyping for Multi-party Session Types....Pages 127-141 Enabling Cross-Technology Mobile Applications with Network-Aware References....Pages 142-156 Coordination and Concurrency in Multi-engine Prolog....Pages 157-171 Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks....Pages 172-186 Simulation-Based Performance Analysis of Channel-Based Coordination Models....Pages 187-201 Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces....Pages 202-218 Back Matter....Pages - This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).