Coordination Models and Languages

10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

  • Editors
  • Doug Lea
  • Gianluigi Zavattaro
Conference proceedings COORDINATION 2008

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

Table of contents

  1. Front Matter
  2. João Abreu, José Luiz Fiadeiro
    Pages 1-16
  3. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
    Pages 17-32
  4. Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
    Pages 33-49
  5. Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
    Pages 50-66
  6. Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto
    Pages 67-82
  7. Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard, Henning Niss
    Pages 83-99
  8. Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst et al.
    Pages 100-116
  9. Alessandro Fantechi, Elie Najm
    Pages 117-134
  10. Philipp Haller, Tom Van Cutsem
    Pages 135-152
  11. Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang
    Pages 153-168
  12. Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi
    Pages 169-183
  13. Sascha Klüppelholz, Christel Baier
    Pages 184-198
  14. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Pages 199-215
  15. Angel Núñez, Jacques Noyé
    Pages 232-248
  16. Davide Prandi, Paola Quaglia, Nicola Zannone
    Pages 249-263
  17. Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron, Maarten van Steen
    Pages 264-279
  18. Rohan Sen, Gruia-Catalin Roman, Christopher Gill
    Pages 280-295
  19. Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
    Pages 296-314

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.

The 21 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 ad-hov networks algorithms component interaction component systems coordination coordination models corrdination middleware distributed computing logic modeling multi-agent system multi-agent systems process c semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68265-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-68264-6
  • Online ISBN 978-3-540-68265-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book