Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Tom Holvoet

    1. University of Leuven, Heverlee, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mirko Viroli

    1. Alma Mater Studiorum--Università di Bologna, Cesena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9037)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: COORDINATION 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages 1-12
    Download chapter PDF

  2. Tuple-Based Coordination

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Replica-Based High-Performance Tuple Space Computing

      • Marina Andrić, Rocco De Nicola, Alberto Lluch Lafuente
      Pages 3-18

    3. Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

      • Diego Latella, Michele Loreti, Mieke Massink
      Pages 19-34

    4. Logic Fragments: A Coordination Model Based on Logic Inference

      • Francesco Luca De Angelis, Giovanna Di Marzo Serugendo
      Pages 35-48

  3. Coordinating Ensembles

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

      • Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima
      Pages 51-66

    3. Dynamic Choreographies

      • Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
      Pages 67-82

    4. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

      • Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
      Pages 83-98

  4. Constraints

    1. Front Matter

      Pages 99-99
      Download chapter PDF

    2. A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

      • Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari
      Pages 101-116

    3. Take Command of Your Constraints!

      • Sung-Shik T. Q. Jongmans, Farhad Arbab
      Pages 117-132

    4. A Labelled Semantics for Soft Concurrent Constraint Programming

      • Fabio Gadducci, Francesco Santini, Luis F. Pino, Frank D. Valencia
      Pages 133-149

  5. Agent-Oriented Techniques

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions

      • Francisco Cruz-Mencia, Jesus Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan A. Rodriguez-Aguilar
      Pages 153-168

    3. Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach

      • Stephen Cranefield, Surangika Ranathunga
      Pages 169-185

    4. Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions

      • Andrea Omicini, Giancarlo Fortino, Stefano Mariani
      Pages 186-193

  6. Shared Spaces

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Klaim-DB: A Modeling Language for Distributed Database Applications

      • Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson
      Pages 197-212

    3. Open Transactions on Shared Memory

      • Marino Miculan, Marco Peressotti, Andrea Toneguzzo
      Pages 213-229
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on tuple-based coordination, coordinating ensembles, constraints, agent-oriented techniques and shared spaces.

Editors and Affiliations

  • University of Leuven, Heverlee, Belgium

    Tom Holvoet

  • Alma Mater Studiorum--Università di Bologna, Cesena, Italy

    Mirko Viroli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation