Coordination Models and Languages

14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings

  • Marjan Sirjani
Conference proceedings COORDINATION 2012

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

Table of contents

  1. Front Matter
  2. Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong, Schahram Dustdar
    Pages 1-16
  3. Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux
    Pages 29-43
  4. Marko van Dooren, Dave Clarke
    Pages 44-58
  5. Dave Clarke, José Proença
    Pages 59-73
  6. Ramtin Khosravi, Hamideh Sabouri
    Pages 74-88
  7. Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
    Pages 104-121
  8. Michał Terepeta, Hanne Riis Nielson, Flemming Nielson
    Pages 137-151
  9. Mieke Massink, Diego Latella
    Pages 152-165
  10. Stefan Dziwok, Christian Heinzemann, Matthias Tichy
    Pages 166-180
  11. Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers
    Pages 181-195
  12. Luigia Petre, Petter Sandvik, Kaisa Sere
    Pages 196-211
  13. Mirko Viroli, Danilo Pianini, Jacob Beal
    Pages 212-229
  14. Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic, Michael Vögler, Stefan Craß
    Pages 230-244
  15. Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
    Pages 245-260
  16. Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
    Pages 261-276
  17. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.

Keywords

autonomic computing cloud computing load balancing optimization self-organization

Editors and affiliations

  • Marjan Sirjani
    • 1
  1. 1.School of Computer ScienceReykjavik UniversityReykjavikIceland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-30829-1
  • Copyright Information IFIP International Federation for Information Processing 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-30828-4
  • Online ISBN 978-3-642-30829-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace