Skip to main content
Springer Nature Link
Log in

Coordination Models and Languages

6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Rocco Nicola

    1. Dipartimento di Sistemi e Informatica, Università di Firenze, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gian-Luigi Ferrari

    1. Department of Computer Science, University of Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Greg Meredith

    1. Microsoft Corporation, Redmont, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2949)

Included in the following conference series:

Conference proceedings info: COORDINATION 2004.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.

The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.

Similar content being viewed by others

Keywords

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  3. Contributed Papers

    1. Problem Frames: A Case for Coordination

      • L. Barroca, J. L. Fiadeiro, M. Jackson, R. Laney, B. Nuseibeh
      Pages 5-19

    2. O’Klaim: A Coordination Language with Mobile Mixins

      • Lorenzo Bettini, Viviana Bono, Betti Venneri
      Pages 20-37

    3. On Calculi for Context-Aware Coordination

      • Pietro Braione, Gian Pietro Picco
      Pages 38-54

    4. Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model

      • Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
      Pages 55-70

    5. Measuring Component Adaptation

      • Antonio Brogi, Carlos Canal, Ernesto Pimentel
      Pages 71-86

    6. An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions

      • Michael Butler, Carla Ferreira
      Pages 87-104

    7. From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming

      • Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro
      Pages 105-118

    8. Probabilistic KLAIM

      • Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
      Pages 119-134

    9. A Lightweight Coordination Middleware for Mobile Computing

      • Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann
      Pages 135-151

    10. Enforcement of Communal Policies for P2P Systems

      • Mihail Ionescu, Naftaly Minsky, Thu D. Nguyen
      Pages 152-169

    11. An Infrastructure to Build Secure Shared Grid Spaces

      • Javier Jaén, Elena Navarro
      Pages 170-182

    12. Optimistic Concurrency Semantics for Transactions in Coordination Languages

      • Suresh Jagannathan, Jan Vitek
      Pages 183-198

    13. Active Coordination in Ad Hoc Networks

      • Christine Julien, Gruia-Catalin Roman
      Pages 199-215

    14. CoorSet: A Development Environment for Associatively Coordinated Components

      • Kevin Kane, James C. Browne
      Pages 216-231

    15. On the Expressiveness of Absolute-Time Coordination Languages

      • I. Linden, J. -M. Jacquet
      Pages 232-247

    16. Logic Based Coordination for Event–Driven Self–healing Distributed Systems

      • Carlo Montangero, Laura Semini, Simone Semprini
      Pages 248-262
Back to top

Other volumes

  1. Coordination Models and Languages

Editors and Affiliations

  • Dipartimento di Sistemi e Informatica, Università di Firenze, Italy

    Rocco Nicola

  • Department of Computer Science, University of Pisa, Italy

    Gian-Luigi Ferrari

  • Microsoft Corporation, Redmont, USA

    Greg Meredith

Bibliographic Information

Publish with us

Policies and ethics

Back to top