Coordination Models and Languages

11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

  • John Field
  • Vasco T. Vasconcelos
Conference proceedings COORDINATION 2009

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Manuel Serrano
      Pages 1-26
  3. Languages and Systems

    1. Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek
      Pages 27-46
    2. Armand Navabi, Suresh Jagannathan
      Pages 47-65
    3. Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
      Pages 66-85
    4. Alexis Petrounias, Susan Eisenbach
      Pages 86-105
  4. Semantic Models and Calculi

    1. Jens Chr. Godskesen, Sebastian Nanz
      Pages 106-122
    2. Bjørn Haagensen, Hans Hüttel
      Pages 123-142
    3. Mirko Viroli, Matteo Casadei
      Pages 143-162
  5. Joint Session

    1. Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes
      Pages 163-183
  6. Composition and Components

    1. Marcello Bonsangue, Dave Clarke, Alexandra Silva
      Pages 184-203
  7. Verification and Modeling

    1. Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
      Pages 247-267
    2. Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, YoungJoo Moon, Chrétien Verhoef
      Pages 268-287
    3. Liliana D’Errico, Michele Loreti
      Pages 288-305
  8. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009.

The 14 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.

Keywords

Middleware algorithms chorded languages diffuse web embedded software event processing multicore programming multicore scheduling pervasive computing qos safety self-organised coordination sensor networks spatial mobility wireless networks

Editors and affiliations

  • John Field
    • 1
  • Vasco T. Vasconcelos
    • 2
  1. 1.IBM T. J. Watson Research CenterUSA
  2. 2.Faculty of Sciences, Department of InformaticsUniversity of LisbonLisboaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-02053-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02052-0
  • Online ISBN 978-3-642-02053-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book