Table of Contents
|
Coordination Models and Languages
Marjan Sirjani (Ed.)
|
Front Matter |
Statelets: Coordination of Social Collaboration Processes
Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong, Schahram Dustdar |
1-16 |
A Social Software-Based Coordination Platform
Davide Rossi |
17-28 |
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux |
29-43 |
Subobject Transactional Memory
Marko Dooren, Dave Clarke |
44-58 |
Partial Connector Colouring
Dave Clarke, José Proença |
59-73 |
Using Coordinated Actors to Model Families of Distributed Systems
Ramtin Khosravi, Hamideh Sabouri |
74-88 |
Scoped Synchronization Constraints for Large Scale Actor Systems
Peter Dinges, Gul Agha |
89-103 |
First-Order Dynamic Logic for Compensable Processes
Roberto Bruni, Carla Ferreira, Anne Kersten Kauer |
104-121 |
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps
Bogdan Aman, Gabriel Ciobanu |
122-136 |
Recursive Advice for Coordination
Michał Terepeta, Hanne Nielson, Flemming Nielson |
137-151 |
Fluid Analysis of Foraging Ants
Mieke Massink, Diego Latella |
152-165 |
Real-Time Coordination Patterns for Advanced Mechatronic Systems
Stefan Dziwok, Christian Heinzemann, Matthias Tichy |
166-180 |
Group Orchestration in a Mobile Environment
Eline Philips, Jorge Vallejos, Ragnhild Straeten, Viviane Jonckers |
181-195 |
Node Coordination in Peer-to-Peer Networks
Luigia Petre, Petter Sandvik, Kaisa Sere |
196-211 |
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments
Mirko Viroli, Danilo Pianini, Jacob Beal |
212-229 |
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents
Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic, Michael Vögler, Stefan Craß |
230-244 |
On the Realizability of Contracts in Dishonest Systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
245-260 |
Types for Coordinating Secure Behavioural Variations
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti |
261-276 |
Hosted by HAL : 