Skip to main content
SpringerLink
Log in
Book cover

Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Giovanna Di Marzo Serugendo

    1. University of Geneva, Geneva, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michele Loreti

    1. Università degli Studi di Firenze, Florence, 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 10852)

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2018.

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 EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
This title has not yet been released. You may pre-order it now and we will ship your order when it is published on 1 Jul 2018.
  • Compact, lightweight edition
  • 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 (12 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Space-Time Universality of Field Calculus

    • Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
    Pages 1-20

  3. Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

    • Mario Bravetti, Gianluigi Zavattaro
    Pages 21-50

  4. Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

    • Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli
    Pages 51-80

  5. On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study

    • Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
    Pages 81-109

  6. A Formal Approach to the Engineering of Domain-Specific Distributed Systems

    • Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
    Pages 110-141

  7. Rule-Based Form for Stream Constraints

    • Kasper Dokter, Farhad Arbab
    Pages 142-161

  8. Forward to a Promising Future

    • Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo
    Pages 162-180

  9. Aggregation Policies for Tuple Spaces

    • Linas Kaminskas, Alberto Lluch Lafuente
    Pages 181-199

  10. Distributed Coordination Runtime Assertions for the Peer Model

    • eva Kühn, Sophie Therese Radschek, Nahla Elaraby
    Pages 200-219

  11. Active Objects for Coordinating BSP Computations (Short Paper)

    • Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen
    Pages 220-230

  12. Boosting Transactional Memory with Stricter Serializability

    • Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay
    Pages 231-251

  13. From Field-Based Coordination to Aggregate Computing

    • Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
    Pages 252-279

  14. Back Matter

    Pages 281-281
    Download chapter PDF
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.
The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.

Editors and Affiliations

  • University of Geneva, Geneva, Switzerland

    Giovanna Di Marzo Serugendo

  • Università degli Studi di Firenze, Florence, Italy

    Michele Loreti

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation