Coordination models and languages. 6th international conference, COORDINATION 2004, Pisa, Italy, February 24--27, 2004. Proceedings. (Q1885525)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0992.68519). Indexed articles: \textit{Boudol, Gérard}, A reactive programming model for global computing, 1 [Zbl 1081.68528] \textit{Casati, Fabio}, Open issues and opportunities in web services modeling, development, and management, 2 [Zbl 1081.68533] \textit{Inverardi, Paola}, Compositionality, coordination and software architecture, 3-4 [Zbl 1081.68560] \textit{Barroca, L.; Fiadeiro, J. L.; Jackson, M.; Laney, R.; Nuseibeh, B.}, Problem frames: A case for coordination, 5-19 [Zbl 1081.68557] \textit{Bettini, Lorenzo; Bono, Viviana; Venneri, Betti}, O'Klaim: A coordination language with mobile mixins, 20-38 [Zbl 1081.68558] \textit{Braione, Pietro; Picco, Gian Pietro}, On calculi for context-aware coordination, 38-54 [Zbl 1081.68529] \textit{Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi}, Probabilistic and prioritized data retrieval in the Linda coordination model, 55-70 [Zbl 1081.68530] \textit{Brogi, Antonio; Canal, Carlos; Pimentel, Ernesto}, Measuring component adaptation, 71-86 [Zbl 1081.68531] \textit{Butler, Michael; Ferreira, Carla}, An operational semantics for StAC, a language for modelling long-running business transactions, 87-104 [Zbl 1081.68643] \textit{Capizzi, Sirio; Solmi, Riccardo; Zavattaro, Gianluigi}, From endogenous to exogenous coordination using aspect-oriented programming, 105-118 [Zbl 1081.68532] \textit{Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert}, Probabilistic KLAIM, 119-134 [Zbl 1081.68534] \textit{Fok, Chien-Liang; Roman, Gruia-Catalin; Hackmann, Gregory}, A lightweight coordination middleware for mobile computing, 135-151 [Zbl 1081.68535] \textit{Ionescu, Mihail; Minsky, Naftaly; Nguyen, Thu D.}, Enforcement of communal policies for P2P systems, 152-169 [Zbl 1081.68536] \textit{Jaén, Javier; Navarro, Elena}, An infrastructure to build secure shared grid spaces, 170-182 [Zbl 1081.68537] \textit{Jagannathan, Suresh; Vitek, Jan}, Optimistic concurrency semantics for transactions in coordination languages, 183-198 [Zbl 1081.68538] \textit{Julien, Christine; Roman, Gruia-Catalin}, Active coordination in ad hoc networks, 199-215 [Zbl 1081.68539] \textit{Kane, Kevin; Browne, James C.}, CoorSet: A development environment for associatively coordinated components, 216-231 [Zbl 1081.68540] \textit{Linden, I.; Jacquet, J.-M.}, On the expressiveness of absolute-time coordination languages, 232-247 [Zbl 1081.68541] \textit{Montangero, Carlo; Semini, Laura; Semprini, Simone}, Logic based coordination for event-driven self-healing distributed systems, 248-263 [Zbl 1081.68542] \textit{Murphy, Amy L.; Picco, Gian Pietro}, Using coordination middleware for location-aware computing: A Lime case study, 263-278 [Zbl 1081.68543] \textit{Rooney, C. F. B.; Collier, R. W.; O'Hare, G. M. P.}, VIPER: A VIsual Protocol EditoR, 279-293 [Zbl 1081.68544] \textit{Shahri, Hamid Haidarian; Meybodi, M. Reza}, Social control mechanisms to coordinate an unreliable agent society, 294-306 [Zbl 1081.68545] \textit{Zoeteweij, Peter; Arbab, Farhad}, A component-based parallel constraint solver, 307-322 [Zbl 1081.68562]