Skip to main content
  • Conference proceedings
  • © 2011

Coordination Models and Languages

13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings

  • Fast track conference proceedings
  • State of the art research
  • Unique visibility

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6721)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): COORDINATION: International Conference on Coordination Models and Languages

Conference proceedings info: COORDINATION 2011.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 papers)

  1. Front Matter

  2. Fault in the Future

    • Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
    Pages 1-15
  3. Revisiting Glue Expressiveness in Component-Based Systems

    • Cinzia Di Giusto, Jean-Bernard Stefani
    Pages 16-30
  4. Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models

    • Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab
    Pages 31-48
  5. CSP as a Coordination Language

    • Moritz Kleine
    Pages 65-79
  6. An Efficient Management of Correlation Sets with Broadcast

    • Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
    Pages 80-94
  7. Session Typing for a Featherweight Erlang

    • Dimitris Mostrous, Vasco T. Vasconcelos
    Pages 95-109
  8. Safe Parallel Programming with Session Java

    • Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis
    Pages 110-126
  9. Fair Subtyping for Multi-party Session Types

    • Luca Padovani
    Pages 127-141
  10. Enabling Cross-Technology Mobile Applications with Network-Aware References

    • Kevin Pinte, Dries Harnie, Theo D’Hondt
    Pages 142-156
  11. Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks

    • Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
    Pages 172-186
  12. Simulation-Based Performance Analysis of Channel-Based Coordination Models

    • C. Verhoef, C. Krause, O. Kanters, R. van der Mei
    Pages 187-201
  13. Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

    • Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
    Pages 202-218
  14. Back Matter

Other Volumes

  1. Coordination Models and Languages

About this book

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.

Editors and Affiliations

  • Faculty of Sciences, Vrije Universiteit Brussel, Brussles, Belgium

    Wolfgang Meuter

  • Department of Computer Science and Engineering, Washington University, St. Louis, USA

    Gruia-Catalin Roman

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access