Coordination Models and Languages

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

  • Wolfgang De Meuter
  • Gruia-Catalin Roman
Conference proceedings COORDINATION 2011

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

Table of contents

  1. Front Matter
  2. Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
    Pages 1-15
  3. Cinzia Di Giusto, Jean-Bernard Stefani
    Pages 16-30
  4. Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab
    Pages 31-48
  5. Moritz Kleine
    Pages 65-79
  6. Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
    Pages 80-94
  7. Dimitris Mostrous, Vasco T. Vasconcelos
    Pages 95-109
  8. Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis
    Pages 110-126
  9. Luca Padovani
    Pages 127-141
  10. Kevin Pinte, Dries Harnie, Theo D’Hondt
    Pages 142-156
  11. Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
    Pages 172-186
  12. C. Verhoef, C. Krause, O. Kanters, R. van der Mei
    Pages 187-201
  13. Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
    Pages 202-218
  14. Back Matter

About these proceedings

Introduction

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.

Keywords

concurrent computing coordination languages distributed computing mobile environments multi-party computing systems analysis systems security

Editors and affiliations

  • Wolfgang De Meuter
    • 1
  • Gruia-Catalin Roman
    • 2
  1. 1.Faculty of SciencesVrije Universiteit BrusselBrusslesBelgium
  2. 2.Department of Computer Science and EngineeringWashington UniversitySt. LouisUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21464-6
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21463-9
  • Online ISBN 978-3-642-21464-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book