Journal: Electronic Notes in Theoretical Computer Science

Volume 154, Issue 1

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