Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/