Abstract is missing.
- Hop, a Fast Server for the Diffuse WebManuel Serrano. 1-26 [doi]
- High-Performance Transactional Event ProcessingAntonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek. 27-46 [doi]
- Exceptionally Safe FuturesArmand Navabi, Suresh Jagannathan. 47-65 [doi]
- Enhanced Coordination in Sensor Networks through Flexible Service ProvisioningChien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu. 66-85 [doi]
- Fairness for Chorded LanguagesAlexis Petrounias, Susan Eisenbach. 86-105 [doi]
- Mobility Models and Behavioural Equivalence for Wireless NetworksJens Chr. Godskesen, Sebastian Nanz. 106-122 [doi]
- Parametrised Constants and Replication for Spatial MobilityBjørn Haagensen, Hans Hüttel. 123-142 [doi]
- Biochemical Tuple Spaces for Self-organising CoordinationMirko Viroli, Matteo Casadei. 143-162 [doi]
- Multicore Scheduling for Lightweight Communicating ProcessesCarl G. Ritson, Adam T. Sampson, Fred R. M. Barnes. 163-183 [doi]
- Automata for Context-Dependent ConnectorsMarcello M. Bonsangue, Dave Clarke, Alexandra Silva. 184-203 [doi]
- Contract-Based Coordination of Hardware Components for the Development of Embedded SoftwareTayeb Bouhadiba, Florence Maraninchi. 204-224 [doi]
- Coordination Model for Real-Time Collaborative EditorsAbdessamad Imine. 225-246 [doi]
- A Uniform Framework for Modeling and Verifying Components and ConnectorsChristel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz. 247-267 [doi]
- From Coordination to Stochastic Models of QoSFarhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef. 268-287 [doi]
- Assume-Guarantee Verification of Concurrent SystemsLiliana D Errico, Michele Loreti. 288-305 [doi]