1 | -- | 2 | Carlos Canal, Mirko Viroli. Preface |
3 | -- | 23 | Tom Chothia, Dominic Duggan. Capability-Passing Processes |
25 | -- | 41 | Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano. Coordination as an Architectural Aspect |
43 | -- | 61 | Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli. A Framework for Engineering Interactions in Java-based Component Systems |
63 | -- | 82 | Frédéric Peschanski. Mobile Agents in Interaction Spaces |
83 | -- | 99 | Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab. Formal Semantics and Analysis of Component Connectors in Reo |
101 | -- | 119 | Dave Clarke, David Costa, Farhad Arbab. Connector Colouring I: Synchronisation and Context Dependency |
121 | -- | 138 | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets |
139 | -- | 158 | Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli. Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres |
159 | -- | 173 | Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo. Formalizing WSBPEL Business Processes Using Process Algebra |