© 2020

Coordination Models and Languages

22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

  • Simon Bliudze
  • Laura Bocchi
Conference proceedings COORDINATION 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Tutorials

    1. Front Matter
      Pages 1-1
    2. Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli
      Pages 3-19
    3. Alex Coto, Roberto Guanciale, Emilio Tuosto
      Pages 20-36
  3. Coordination Languages

    1. Front Matter
      Pages 37-37
    2. José Proença, Guillermina Cledou
      Pages 39-56
    3. Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
      Pages 57-74
  4. Message-Based Communication

    1. Front Matter
      Pages 75-75
    2. Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
      Pages 77-85
    3. Franco Barbanera, Ivan Lanese, Emilio Tuosto
      Pages 86-106
    4. Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti, Emilio Tuosto
      Pages 107-124
  5. Communications: Types and Implementations

    1. Front Matter
      Pages 125-125
    2. Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
      Pages 127-136
    3. Artem Usov, Ornela Dardha
      Pages 153-168
  6. Service-Oriented Computing

    1. Front Matter
      Pages 169-169
    2. Espen Tønnessen Nordli, Phu H. Nguyen, Franck Chauvel, Hui Song
      Pages 171-180
    3. Agustín Eloy Martinez Suñé, Carlos Gustavo Lopez Pombo
      Pages 181-189
  7. Large-Scale Decentralised Systems

    1. Front Matter
      Pages 191-191
    2. Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
      Pages 193-210

About these proceedings


This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.

The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.


artificial intelligence computer hardware computer networks computer programming computer systems data communication systems distributed computer systems distributed systems embedded systems fuzzy sets network protocols object-oriented programming parallel processing systems signal processing software architecture software design software engineering telecommunication networks telecommunication systems

Editors and affiliations

  1. 1.Project-team SPIRALSInria Lille – Nord EuropeVilleneuve d’AscqFrance
  2. 2.School of ComputingUniversity of KentCanterburyUK

Bibliographic information