7. COORDINATION 2005: Namur, Belgium

• Manuel Mazzara, Sergio Govoni:
  A Case Study of Web Services Orchestration. 1-16
  Electronic Edition (link) BibTeX
• Daniel Hirschkoff, Damien Pous, Davide Sangiorgi:
  A Correct Abstract Machine for Safe Ambients. 17-32
  Electronic Edition (link) BibTeX
• Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
  A Process Calculus for QoS-Aware Applications. 33-48
  Electronic Edition (link) BibTeX
• Agostino Cortesi, Francesco Logozzo:
  Abstract Interpretation-Based Verification of Non-functional Requirements. 49-62
  Electronic Edition (link) BibTeX
• Alan W. Colman, Jun Han:
  Coordination Systems in Role-Based Adaptive Software. 63-78
  Electronic Edition (link) BibTeX
• Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob:
  Coordination with Multicapabilities. 79-93
  Electronic Edition (link) BibTeX
• Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink:
  Delegation Modeling with Paradigm. 94-108
  Electronic Edition (link) BibTeX
• Giovanni Russello, Michel R. V. Chaudron, Maarten van Steen:
  Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space. 109-124
  Electronic Edition (link) BibTeX
• Arnab Ray:
  Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. 125-139
  Electronic Edition (link) BibTeX
• Lindsay Bradford, Stephen Milliner, Marlon Dumas:
  Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision. 140-156
  Electronic Edition (link) BibTeX
• Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
  Global Computing in a Dynamic Network of Tuple Spaces. 157-172
  Electronic Edition (link) BibTeX
• Taesoon Park:
  Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems. 173-187
  Electronic Edition (link) BibTeX
• Marco Bernardo, Edoardo Bontà:
  Preserving Architectural Properties in Multithreaded Code Generation. 188-203
  Electronic Edition (link) BibTeX
• Nadia Busi, Gianluigi Zavattaro:
  Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. 204-219
  Electronic Edition (link) BibTeX
• Ivan Lanese, Emilio Tuosto:
  Synchronized Hyperedge Replacement for Heterogeneous Systems. 220-235
  Electronic Edition (link) BibTeX
• Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani:
  Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. 236-251
  Electronic Edition (link) BibTeX
• Manuel Oriol, Michael W. Hicks:
  Tagged Sets: A Secure and Transparent Coordination Medium. 252-267
  Electronic Edition (link) BibTeX
• Andrea Omicini, Alessandro Ricci, Mirko Viroli:
  Time-Aware Coordination in ReSpecT. 268-282
  Electronic Edition (link) BibTeX
• Laura Bocchi, Paolo Ciancarini, Davide Rossi:
  Transactional Aspects in Semantic Based Discovery of Services. 283-297
  Electronic Edition (link) BibTeX