1 | -- | 2 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel. Preface |
3 | -- | 19 | Silvia Amaro, Ernesto Pimentel, Ana M. Roldán. A Preliminary Comparative Study on the Expressive Power of Reo and Linda |
21 | -- | 40 | Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo. Prototype Platforms for Distributed Agreements |
41 | -- | 54 | Antonio Brogi, Carlos Canal, Ernesto Pimentel. Behavioural Types for Service Integration: Achievements and Challenges |
55 | -- | 70 | Claudio Guidi, Roberto Lucchi, Manuel Mazzara. A Formal Framework for Web Services Coordination |
71 | -- | 89 | Isabelle Linden, Jean-Marie Jacquet. On the Expressiveness of Timed Coordination via Shared Dataspaces |
91 | -- | 106 | George R. Ribeiro-Justo, Ahmed Saleh, Tereska Karran. Intelligent Reconfiguration of Dynamic Distributed Components |
107 | -- | 121 | David Safránek. Visual Specification of Systems with Heterogeneous Coordination Models |
123 | -- | 144 | Mirko Viroli, Andrea Omicini. ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications |