| 1 | -- | 2 | Carlos Canal, Mirko Viroli. Preface |
| 3 | -- | 17 | Gabriel Ciobanu, Cristian Prisacariu. Coordination by Timers for Channel-Based Anonymous Communications |
| 19 | -- | 37 | Sascha Klüppelholz, Christel Baier. Symbolic Model Checking for Channel-based Component Connectors |
| 39 | -- | 57 | Marco Antonio Barbosa, Luís Soares Barbosa. Configurations of Web Services |
| 59 | -- | 80 | Matteo Casadei, Luca Gardelli, Mirko Viroli. Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case |
| 81 | -- | 95 | Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel. Dynamic Contextual Adaptation |
| 97 | -- | 117 | Andrea Omicini. Formal ReSpecT in the A&A Perspective |
| 119 | -- | 134 | Michael Köhler, Heiko Rölke. Dynamic Transition Refinement |
| 135 | -- | 151 | Juliana Küster Filipe, Sotiris Moschoyiannis. Concurrent Logic and Automata Combined: A Semantics for Components |
| 153 | -- | 167 | Tom Chothia, Jetty Kleijn. Q-Automata: Modelling the Resource Usage of Concurrent Components |