Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/