Skip to main content
  • Conference proceedings
  • © 2005

Coordination Models and Languages

7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings

Conference proceedings info: COORDINATION 2005.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (19 papers)

  1. Front Matter

  2. A Case Study of Web Services Orchestration

    • Manuel Mazzara, Sergio Govoni
    Pages 1-16
  3. A Correct Abstract Machine for Safe Ambients

    • Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
    Pages 17-32
  4. A Process Calculus for QoS-Aware Applications

    • Rocco De Nicola, Gianluigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    Pages 33-48
  5. Abstract Interpretation-Based Verification of Non-functional Requirements

    • Agostino Cortesi, Francesco Logozzo
    Pages 49-62
  6. Coordination Systems in Role-Based Adaptive Software

    • Alan Colman, Jun Han
    Pages 63-78
  7. Coordination with Multicapabilities

    • Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob
    Pages 79-93
  8. Delegation Modeling with Paradigm

    • Luuk Groenewegen, Niels van Kampenhout, Erik de Vink
    Pages 94-108
  9. Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space

    • Giovanni Russello, Michel Chaudron, Maarten van Steen
    Pages 109-124
  10. Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision

    • Lindsay Bradford, Stephen Milliner, Marlon Dumas
    Pages 140-156
  11. Global Computing in a Dynamic Network of Tuple Spaces

    • Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Pages 157-172
  12. Preserving Architectural Properties in Multithreaded Code Generation

    • Marco Bernardo, Edoardo Bontà
    Pages 188-203
  13. Synchronized Hyperedge Replacement for Heterogeneous Systems

    • Ivan Lanese, Emilio Tuosto
    Pages 220-235
  14. Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications

    • Farhad Arbab, Christel Baier, Frank de Boer, Jan Rutten, Marjan Sirjani
    Pages 236-251
  15. Tagged Sets: A Secure and Transparent Coordination Medium

    • Manuel Oriol, Michael Hicks
    Pages 252-267
  16. Time-Aware Coordination in ReSpecT

    • Andrea Omicini, Alessandro Ricci, Mirko Viroli
    Pages 268-282
  17. Transactional Aspects in Semantic Based Discovery of Services

    • Laura Bocchi, Paolo Ciancarini, Davide Rossi
    Pages 283-297

Other Volumes

  1. Coordination Models and Languages

Editors and Affiliations

  • Department of Information and Communication Technology, University of Trento, Italy

    Gian Pietro Picco

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access