Coordination Models and Languages

1. Front Matter

   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

   PDF

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.

• 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

• IBM T. J. Watson Research Center, USA

  John Field

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

  Vasco T. Vasconcelos

Policies and ethics