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 - Holvoet, Tom; Viroli, Mirko (Cham : Springer International Publishing, 2015)
Replica-Based High-Performance Tuple Space Computing -- Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems -- Logic Fragments: A Coordination Model Based on Logic Inference -- Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles -- Dynamic Choreographies: Safe Runtime Updates of Distributed Applications -- Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear (Ss(B-Calculi -- A Fix point-Based Calculus for Graph-Shaped Computational Fields -- Take Command of Your Constraints! -- A Labelled Semantics for Soft Concurrent Constraint Programming -- Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach -- Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions -- Klaim-DB: A Modeling Language for Distributed Database Applications -- Open Transactions on Shared Memory -- VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries.s
Keywords: Computer science; Computer programming; Software engineering; Programming languages (Electronic computers).; Algorithms; Computer logic