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

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

Paperback(2011)

$99.00
Eligible for FREE SHIPPING
  • Want it by Thursday, September 27  Order now and choose Expedited Shipping during checkout.

Overview

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

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.

Product Details

ISBN-13: 9783642214639
Publisher: Springer Berlin Heidelberg
Publication date: 07/25/2011
Series: Lecture Notes in Computer Science , #6721
Edition description: 2011
Pages: 219
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Fault in the Future Einar Broch Johnsen Ivan Lanese Gianluigi Zavattaro 1

Revisiting Glue Expressiveness in Component-Based Systems Cinzia Di Giusto Jean-Bernard Stefani 16

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models Sung-Shik T.Q. Jongmans Christian Krause Farhad Arbab 31

The Context of Coordinating Groups in Dynamic Mobile Networks Christine Julien 49

CSP as a Coordination Language Moritz Kleine 65

An Efficient Management of Correlation Sets with Broadcast Jacopo Mauro Maurizio Gabbrielli Claudio Guidi Fabrizio Montesi 80

Session Typing for a Featherweight Erlang Dimitris Mostrous Vasco T. Vasconcelos 95

Safe Parallel Programming with Session Java Nicholas Ng Nobuko Yoshida Olivier Pernet Raymond Hu Yiannos Kryftis 110

Fair Subtyping for Multi-party Session Types Luca Padovani 127

Enabling Cross-Technology Mobile Applications with Network-Aware References Kevin Pinte Dries Harnie Theo D 'Hondt 142

Coordination and Concurrency in Multi-engine Prolog Paul Tarau 157

Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks Seiji Umatani Masahiro Yasugi Taiichi Yuasa 172

Simulation-Based Performance Analysis of Channel-Based Coordination Models C. Verhoef C. Krause O. Kanters R. van der Mei 187

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces Fan Yang Tomoyuki Aotani Hidehiko Masuhara Flemming Nielson Hanne Riis Nielson 202

Author Index 219

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews