IFIP TC6 Open Digital Library

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

A Social Software-Based Coordination Platform - Tool Paper.

Davide Rossi

 17-28

Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing.

Frederico Alvares de Oliveira Jr., Rémi Sharrock, Thomas Ledoux

 29-43

Subobject Transactional Memory.

Marko van 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.

Michal Terepeta, Hanne Riis 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 Van Der 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