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>