| 2009 | A Uniform Framework for Modeling and Verifying Components and Connectors. Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz |
| 2009 | Assume-Guarantee Verification of Concurrent Systems. Liliana D'Errico, Michele Loreti |
| 2009 | Automata for Context-Dependent Connectors. Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
| 2009 | Biochemical Tuple Spaces for Self-organising Coordination. Mirko Viroli, Matteo Casadei |
| 2009 | Contract-Based Coordination of Hardware Components for the Development of Embedded Software. Tayeb Bouhadiba, Florence Maraninchi |
| 2009 | Coordination Model for Real-Time Collaborative Editors. Abdessamad Imine |
| 2009 | Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings John Field, Vasco Thudichum Vasconcelos |
| 2009 | Enhanced Coordination in Sensor Networks through Flexible Service Provisioning. Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
| 2009 | Exceptionally Safe Futures. Armand Navabi, Suresh Jagannathan |
| 2009 | Fairness for Chorded Languages. Alexis Petrounias, Susan Eisenbach |
| 2009 | From Coordination to Stochastic Models of QoS. Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef |
| 2009 | High-Performance Transactional Event Processing. Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek |
| 2009 | Hop, a Fast Server for the Diffuse Web. Manuel Serrano |
| 2009 | Mobility Models and Behavioural Equivalence for Wireless Networks. Jens Chr. Godskesen, Sebastian Nanz |
| 2009 | Multicore Scheduling for Lightweight Communicating Processes. Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes |
| 2009 | Parametrised Constants and Replication for Spatial Mobility. Bjørn Haagensen, Hans Hüttel |