© 2018

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

  • Giovanna Di Marzo Serugendo
  • Michele Loreti
Conference proceedings COORDINATION 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
    Pages 1-20
  3. Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli
    Pages 51-80
  4. Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
    Pages 110-141
  5. Kasper Dokter, Farhad Arbab
    Pages 142-161
  6. Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo
    Pages 162-180
  7. Linas Kaminskas, Alberto Lluch Lafuente
    Pages 181-199
  8. eva Kühn, Sophie Therese Radschek, Nahla Elaraby
    Pages 200-219
  9. Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen
    Pages 220-230
  10. Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay
    Pages 231-251
  11. Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
    Pages 252-279
  12. Back Matter
    Pages 281-281

About these proceedings


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.


Semantics Distributed Computer Systems Programming Languages Parallel Programming Software Engineering Distributed Systems Programming Models

Editors and affiliations

  1. 1.University of GenevaGenevaSwitzerland
  2. 2.Università degli Studi di FirenzeFlorenceItaly

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment