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 |