© 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. Large-Scale Decentralised Systems

    1. Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
      Pages 211-229
    2. Nicolas Gast, Diego Latella, Mieke Massink
      Pages 230-239
  2. Smart Contracts

    1. Front Matter
      Pages 241-241
    2. Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
      Pages 243-260
    3. Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
      Pages 261-278
  3. Modelling

    1. Front Matter
      Pages 279-279
    2. Maria Pittou, George Rahonis
      Pages 281-300
    3. Vagia Karyoti, Paulina Paraponiari
      Pages 301-319
  4. Verification and Analysis

    1. Front Matter
      Pages 339-339
    2. Xiyue Zhang, Yi Li, Meng Sun
      Pages 341-349
    3. Adrian Francalanza, Jasmine Xuereb
      Pages 350-369
    4. Luca Di Stefano, Frédéric Lang, Wendelin Serwe
      Pages 370-385
    5. Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani
      Pages 386-402
  5. Back Matter
    Pages 403-403

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