Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

  • Alberto Lluch Lafuente
  • José Proença
Conference proceedings COORDINATION 2016

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9686)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Paolo Baldan, Alessandro Beggiato
    Pages 1-17
  3. Franco Barbanera, Ugo de’ Liguoro
    Pages 18-34
  4. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
    Pages 35-50
  5. Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
    Pages 51-66
  6. Vincenzo Ciancia, Diego Latella, Mieke Massink
    Pages 67-83
  7. Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab
    Pages 84-100
  8. Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain
    Pages 101-120
  9. Rolf Hennicker, Michel Bidoit, Thanh-Son Dang
    Pages 138-156
  10. Ruggero Lanotte, Massimo Merro
    Pages 157-174
  11. Hernán Melgratti, Christian Roldán
    Pages 175-191
  12. Danilo Pianini, Jacob Beal, Mirko Viroli
    Pages 192-207
  13. Ludovic Henrio, Justine Rochas
    Pages 208-226
  14. Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
    Pages 227-244
  15. Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola  Dezani-Ciancaglini
    Pages 245-261
  16. Back Matter
    Pages 279-279

About these proceedings

Introduction

This book constitutes the proceedings of the 18th International
Conference on Coordination Models and Languages, COORDINATION 2016, held
in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.

The 16 full papers included in this volume were carefully reviewed and
selected from 44 submissions. The papers cover a wide range of topics
and techniques related to system coordination, including: programming and
communication abstractions; communication protocols and behavioural types;
actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic models
and formal verification.

Keywords

communication abstractions formal verification model-checking probabilistic models programming actors behavioural types collective adaptive systems communication protocols concurrent objects constraint automata contracts dissemination techniques distributed algorithms game theory information flow policies interfaces robustness scheduling synthesis

Editors and affiliations

  • Alberto Lluch Lafuente
    • 1
  • José Proença
    • 2
  1. 1.Technical University of DenmarkLyngbyDenmark
  2. 2.University of MinhoBragaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-39519-7
  • Copyright Information IFIP International Federation for Information Processing 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-39518-0
  • Online ISBN 978-3-319-39519-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book