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

✍ Scribed by Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 229
• Series: Lecture Notes in Computer Science 6721 Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

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 verication and analysis techniques.

✦ Table of Contents

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 -

✦ Subjects

Software Engineering; Programming Techniques; Software Engineering/Programming and Operating Systems; Computer Communication Networks; Models and Principles; Information Systems Applications (incl.Internet)