Coordination models and languages

Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings<br />Author: Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-21044-3<br /> DOI: 10.1007/b95570<br /><br />Table of Contents:<p></p><ul><li>A Reactive Programming Model for Global Computing </li><li>Open Issues and Opportunities in Web Services Modeling, Development, and Management </li><li>Compositionality, Coordination and Software Architecture </li><li>Problem Frames: A Case for Coordination </li><li>O’Klaim: A Coordination Language with Mobile Mixins </li><li>On Calculi for Context-Aware Coordination </li><li>Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model </li><li>Measuring Component Adaptation </li><li>An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions </li><li>From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming </li><li>Probabilistic KLAIM </li><li>A Lightweight Coordination Middleware for Mobile Computing </li><li>Enforcement of Communal Policies for P2P Systems </li><li>An Infrastructure to Build Secure Shared Grid Spaces </li><li>Optimistic Concurrency Semantics for Transactions in Coordination Languages </li><li>Active Coordination in Ad Hoc Networks </li><li>CoorSet: A Development Environment for Associatively Coordinated Components </li><li>On the Expressiveness of Absolute-Time Coordination Languages </li><li>Logic Based Coordination for Event–Driven Self–healing Distributed Systems </li><li>Using Coordination Middleware for Location-Aware Computing: A Lime Case Study</li></ul>