index - Coordination Models and Languages
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

Table of Contents
Coordination Models and Languages
Tom Holvoet, Mirko Viroli
Front Matter

Tuple-Based Coordination


Replica-Based High-Performance Tuple Space Computing
Marina Andrić, Rocco Nicola, Alberto Lafuente
3-18
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Diego Latella, Michele Loreti, Mieke Massink
19-34
Logic Fragments: A Coordination Model Based on Logic Inference
Francesco Angelis, Giovanna Marzo Serugendo
35-48

Coordinating Ensembles


Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Edmund Lam, Iliano Cervesato, Nabeeha Fatima
51-66
Dynamic Choreographies Safe Runtime Updates of Distributed Applications
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
67-82
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
83-98

Constraints


A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
Alberto Lafuente, Michele Loreti, Ugo Montanari
101-116
Take Command of Your Constraints!
Sung-Shik Jongmans, Farhad Arbab
117-132
A Labelled Semantics for Soft Concurrent Constraint Programming
Fabio Gadducci, Francesco Santini, Luis Pino, Frank Valencia
133-149

Agent-Oriented Techniques


Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions
Francisco Cruz-Mencia, Jesus Cerquides, Antonio Espinosa, Juan Moure, Juan Rodriguez-Aguilar
153-168
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach
Stephen Cranefield, Surangika Ranathunga
169-185
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions
Andrea Omicini, Giancarlo Fortino, Stefano Mariani
186-193

Shared Spaces


Klaim-DB: A Modeling Language for Distributed Database Applications
Xi Wu, Ximeng Li, Alberto Lafuente, Flemming Nielson, Hanne Nielson
197-212
Open Transactions on Shared Memory
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
213-229
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries
Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga
230-245

 

 


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