| 1 | -- | 2 | Carlos Canal, Pascal Poizat, Marjan Sirjani. Preface |
| 3 | -- | 20 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink. Dynamic Consistency in Process Algebra: From Paradigm to ACP |
| 21 | -- | 41 | Farhad Arbab, Meng Sun, Christel Baier. Synthesis of Reo Circuits from Scenario-based Specifications |
| 43 | -- | 58 | Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab. Deconstructing Reo |
| 59 | -- | 75 | Peter Y. H. Wong, Jeremy Gibbons. A Relative Timed Semantics for BPMN |
| 77 | -- | 93 | Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich. Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks |
| 95 | -- | 113 | Kevin Marth, Shangping Ren. The ARC Programming Model - Language Constructs for Coordination |
| 115 | -- | 131 | José Antonio MartÃn, Ernesto Pimentel. Automatic Generation of Adaptation Contracts |
| 133 | -- | 153 | Yue Yu, Shangping Ren, Carolyn L. Talcott. Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints |
| 155 | -- | 174 | Samira Tasharofi, Marjan Sirjani. Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM |