Coordination models and languages

About this book

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