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


Statelets: Coordination of Social Collaboration Processes.

Vitaliy Liptchinsky, Roman Khazankin, Hong Linh Truong, Schahram Dustdar


A Social Software-Based Coordination Platform - Tool Paper.

Davide Rossi


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

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


Subobject Transactional Memory.

Marko van Dooren, Dave Clarke


Partial Connector Colouring.

Dave Clarke, José Proença


Using Coordinated Actors to Model Families of Distributed Systems.

Ramtin Khosravi, Hamideh Sabouri


Scoped Synchronization Constraints for Large Scale Actor Systems.

Peter Dinges, Gul Agha


First-Order Dynamic Logic for Compensable Processes.

Roberto Bruni, Carla Ferreira, Anne Kersten Kauer


Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.

Bogdan Aman, Gabriel Ciobanu


Recursive Advice for Coordination.

Michal Terepeta, Hanne Riis Nielson, Flemming Nielson


Fluid Analysis of Foraging Ants.

Mieke Massink, Diego Latella


Real-Time Coordination Patterns for Advanced Mechatronic Systems.

Stefan Dziwok, Christian Heinzemann, Matthias Tichy


Group Orchestration in a Mobile Environment.

Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers


Node Coordination in Peer-to-Peer Networks.

Luigia Petre, Petter Sandvik, Kaisa Sere


Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments.

Mirko Viroli, Danilo Pianini, Jacob Beal


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ß


On the Realizability of Contracts in Dishonest Systems.

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino


Types for Coordinating Secure Behavioural Variations.

Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti