6. COORDINATION 2004: Pisa, Italy

@proceedings{DBLP:conf/coordination/2004,
  editor    = {Rocco De Nicola and
               Gian Luigi Ferrari and
               Greg Meredith},
  title     = {Coordination Models and Languages, 6th International Conference,
               COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2949},
  year      = {2004},
  isbn      = {3-540-21044-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Gérard Boudol:
  A Reactive Programming Model for Global Computing. 1
  Electronic Edition (link) BibTeX
• Fabio Casati:
  Open Issues and Opportunities in Web Services Modeling, Development, and Management. 2
  Electronic Edition (link) BibTeX
• Paola Inverardi:
  Compositionality, Coordination and Software Architecture. 3-4
  Electronic Edition (link) BibTeX
• Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh:
  Problem Frames: A Case for Coordination. 5-19
  Electronic Edition (link) BibTeX
• Lorenzo Bettini, Viviana Bono, Betti Venneri:
  O'Klaim: A Coordination Language with Mobile Mixins. 20-38
  Electronic Edition (link) BibTeX
• Pietro Braione, Gian Pietro Picco:
  On Calculi for Context-Aware Coordination. 38-54
  Electronic Edition (link) BibTeX
• Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
  Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. 55-70
  Electronic Edition (link) BibTeX
• Antonio Brogi, Carlos Canal, Ernesto Pimentel:
  Measuring Component Adaptation. 71-86
  Electronic Edition (link) BibTeX
• Michael J. Butler, Carla Ferreira:
  An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. 87-104
  Electronic Edition (link) BibTeX
• Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro:
  From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. 105-118
  Electronic Edition (link) BibTeX
• Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
  Probabilistic KLAIM. 119-134
  Electronic Edition (link) BibTeX
• Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann:
  A Lightweight Coordination Middleware for Mobile Computing. 135-151
  Electronic Edition (link) BibTeX
• Mihail F. Ionescu, Naftaly H. Minsky, Thu D. Nguyen:
  Enforcement of Communal Policies for P2P Systems. 152-169
  Electronic Edition (link) BibTeX
• Javier Jaén Martínez, Elena Navarro:
  An Infrastructure to Build Secure Shared Grid Spaces. 170-182
  Electronic Edition (link) BibTeX
• Suresh Jagannathan, Jan Vitek:
  Optimistic Concurrency Semantics for Transactions in Coordination Languages. 183-198
  Electronic Edition (link) BibTeX
• Christine Julien, Gruia-Catalin Roman:
  Active Coordination in Ad Hoc Networks. 199-215
  Electronic Edition (link) BibTeX
• Kevin Kane, James C. Browne:
  CoorSet: A Development Environment for Associatively Coordinated Components. 216-231
  Electronic Edition (link) BibTeX
• Isabelle Linden, Jean-Marie Jacquet:
  On the Expressiveness of Absolute-Time Coordination Languages. 232-247
  Electronic Edition (link) BibTeX
• Carlo Montangero, Laura Semini, Simone Semprini:
  Logic Based Coordination for Event-Driven Self-healing Distributed Systems. 248-263
  Electronic Edition (link) BibTeX
• Amy L. Murphy, Gian Pietro Picco:
  Using Coordination Middleware for Location-Aware Computing: A Lime Case Study. 263-278
  Electronic Edition (link) BibTeX
• Colm Rooney, Rem W. Collier, Gregory M. P. O'Hare:
  VIPER: A VIsual Protocol EditoR. 279-293
  Electronic Edition (link) BibTeX
• Hamid Haidarian Shahri, Mohammad Reza Meybodi:
  Social Control Mechanisms to Coordinate an Unreliable Agent Society. 294-306
  Electronic Edition (link) BibTeX
• Peter Zoeteweij, Farhad Arbab:
  A Component-Based Parallel Constraint Solver. 307-322
  Electronic Edition (link) BibTeX