


default search action
17. COORDINATION 2015: Grenoble, France
- Tom Holvoet
, Mirko Viroli:
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9037, Springer 2015, ISBN 978-3-319-19281-9
Tuple-Based Coordination
- Marina Andric, Rocco De Nicola
, Alberto Lluch-Lafuente
:
Replica-Based High-Performance Tuple Space Computing. 3-18 - Diego Latella
, Michele Loreti
, Mieke Massink
:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. 19-34 - Francesco Luca De Angelis, Giovanna Di Marzo Serugendo
:
Logic Fragments: A Coordination Model Based on Logic Inference. 35-48
Coordinating Ensembles
- Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima:
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. 51-66 - Mila Dalla Preda, Maurizio Gabbrielli
, Saverio Giallorenzo
, Ivan Lanese, Jacopo Mauro
:
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. 67-82 - Luca Padovani
, Tzu-Chun Chen
, Andrea Tosatto:
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. 83-98
Constraints
- Alberto Lluch-Lafuente
, Michele Loreti
, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. 101-116 - Sung-Shik T. Q. Jongmans, Farhad Arbab:
Take Command of Your Constraints! 117-132 - Fabio Gadducci
, Francesco Santini
, Luis Fernando Pino, Frank D. Valencia:
A Labelled Semantics for Soft Concurrent Constraint Programming. 133-149
Agent-Oriented Techniques
- Francisco Cruz-Mencia, Jesús Cerquides
, Antonio Espinosa
, Juan Carlos Moure
, Juan Antonio Rodríguez-Aguilar
:
Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions. 153-168 - Stephen Cranefield
, Surangika Ranathunga
:
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach. 169-185 - Andrea Omicini
, Giancarlo Fortino
, Stefano Mariani
:
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions. 186-193
Shared Spaces
- Xi Wu, Ximeng Li, Alberto Lluch-Lafuente
, Flemming Nielson
, Hanne Riis Nielson
:
Klaim-DB: A Modeling Language for Distributed Database Applications. 197-212 - Marino Miculan
, Marco Peressotti
, Andrea Toneguzzo:
Open Transactions on Shared Memory. 213-229 - Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga
:
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries. 230-245

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.