Skip to main content
SpringerLink
Log in
Book cover

Coordination Models and Languages

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. John Field

    1. IBM T. J. Watson Research Center, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vasco T. Vasconcelos

    1. Faculty of Sciences, Department of Informatics, University of Lisbon, Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2009.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Hop, a Fast Server for the Diffuse Web

      • Manuel Serrano
      Pages 1-26

  3. Languages and Systems

    1. High-Performance Transactional Event Processing

      • Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek
      Pages 27-46

    2. Exceptionally Safe Futures

      • Armand Navabi, Suresh Jagannathan
      Pages 47-65

    3. Enhanced Coordination in Sensor Networks through Flexible Service Provisioning

      • Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
      Pages 66-85

    4. Fairness for Chorded Languages

      • Alexis Petrounias, Susan Eisenbach
      Pages 86-105

  4. Semantic Models and Calculi

    1. Mobility Models and Behavioural Equivalence for Wireless Networks

      • Jens Chr. Godskesen, Sebastian Nanz
      Pages 106-122

    2. Parametrised Constants and Replication for Spatial Mobility

      • Bjørn Haagensen, Hans Hüttel
      Pages 123-142

    3. Biochemical Tuple Spaces for Self-organising Coordination

      • Mirko Viroli, Matteo Casadei
      Pages 143-162

  5. Joint Session

    1. Multicore Scheduling for Lightweight Communicating Processes

      • Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes
      Pages 163-183

  6. Composition and Components

    1. Automata for Context-Dependent Connectors

      • Marcello Bonsangue, Dave Clarke, Alexandra Silva
      Pages 184-203

    2. Contract-Based Coordination of Hardware Components for the Development of Embedded Software

      • Tayeb Bouhadiba, Florence Maraninchi
      Pages 204-224

    3. Coordination Model for Real-Time Collaborative Editors

      • Abdessamad Imine
      Pages 225-246

  7. Verification and Modeling

    1. A Uniform Framework for Modeling and Verifying Components and Connectors

      • Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
      Pages 247-267

    2. From Coordination to Stochastic Models of QoS

      • Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, YoungJoo Moon, Chrétien Verhoef
      Pages 268-287

    3. Assume-Guarantee Verification of Concurrent Systems

      • Liliana D’Errico, Michele Loreti
      Pages 288-305

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

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.

Editors and Affiliations

  • IBM T. J. Watson Research Center, USA

    John Field

  • Faculty of Sciences, Department of Informatics, University of Lisbon, Lisboa, Portugal

    Vasco T. Vasconcelos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation