13. COORDINATION 2012: Stockholm, Sweden
Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Marjan Sirjani
Springer, Lecture Notes in Computer Science 7274, ISBN: 978-3-642-30828-4
Contents
Statelets: Coordination of Social Collaboration Processes.
Vitaliy Liptchinsky, Roman Khazankin, Hong Linh Truong, Schahram Dustdar
1-16
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing.
Frederico Alvares de Oliveira Jr., Rémi Sharrock, Thomas Ledoux
29-43
Using Coordinated Actors to Model Families of Distributed Systems.
Ramtin Khosravi, Hamideh Sabouri
74-88
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
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 Van Der Straeten, Viviane Jonckers
181-195
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