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

Rocco De Nicola

Books by Rocco De Nicola (50 max)

Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science)

Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science)

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held As Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Two complete axiom systems for a theory of communicating sequential processes.

Coordination Models and Languages

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science)