11. COORDINATION 2009: Lisboa, Portugal
John Field, Vasco Thudichum Vasconcelos (Eds.): Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-02052-0
Invited Talk
- Manuel Serrano: Hop, a Fast Server for the Diffuse Web. 1-26
Languages and Systems
- Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek: High-Performance Transactional Event Processing. 27-46
- Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu: Enhanced Coordination in Sensor Networks through Flexible Service Provisioning. 66-85
Semantic Models and Calculi
- Jens Chr. Godskesen, Sebastian Nanz: Mobility Models and Behavioural Equivalence for Wireless Networks. 106-122
Joint Session
- Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes: Multicore Scheduling for Lightweight Communicating Processes. 163-183
Composition and Components
- Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. 184-203
- Tayeb Bouhadiba, Florence Maraninchi: Contract-Based Coordination of Hardware Components for the Development of Embedded Software. 204-224
- Abdessamad Imine: Coordination Model for Real-Time Collaborative Editors. 225-246
Verification and Modeling
- Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. 247-267
- Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef: From Coordination to Stochastic Models of QoS. 268-287
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team