Skip to main content
  • Conference proceedings
  • © 2021

Coordination Models and Languages

23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Editors:

(view affiliations)

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

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

Conference series link(s): COORDINATION: International Conference on Coordination Languages and Models

Conference proceedings info: COORDINATION 2021.

Buying options

eBook
USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-78142-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 89.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

    Pages i-xvi
  2. Tutorial

    1. Front Matter

      Pages 1-1
    2. Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

      • Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
      Pages 3-19
  3. Communications: Types and Implemenations

    1. Front Matter

      Pages 21-21
    2. Manifestly Phased Communication via Shared Session Types

      • Chuta Sano, Stephanie Balzer, Frank Pfenning
      Pages 23-40
    3. Deconfined Global Types for Asynchronous Sessions

      • Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
      Pages 41-60
    4. Relating Functional and Imperative Session Types

      • Hannes Saffrich, Peter Thiemann
      Pages 61-79
    5. Safe Session-Based Asynchronous Coordination in Rust

      • Zak Cutner, Nobuko Yoshida
      Pages 80-89
    6. A Session Subtyping Tool

      • Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
      Pages 90-105
    7. Towards Probabilistic Session-Type Monitoring

      • Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
      Pages 106-120
    8. Java Typestate Checker

      • João Mota, Marco Giunti, António Ravara
      Pages 121-133
    9. Asynchronous Global Types in Co-logic Programming

      • Riccardo Bianchini, Francesco Dagnino
      Pages 134-146
  4. Large-Scale Decentalised Systems

    1. Front Matter

      Pages 147-147
    2. Tuple-Based Coordination in Large-Scale Situated Systems

      • Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
      Pages 149-167
    3. A Theory of Automated Market Makers in DeFi

      • Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
      Pages 168-187
    4. ReGraDa: Reactive Graph Data

      • Leandro Galrinho, João Costa Seco, Søren Debois, Thomas Hildebrandt, Håkon Norman, Tijs Slaats
      Pages 188-205
  5. Modelling: Structures and Implementations

    1. Front Matter

      Pages 207-207

Other Volumes

  1. Coordination Models and Languages

    23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

About this book

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.

The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.

The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference.

Due to the Corona pandemic this event was held virtually.

Keywords

  • artificial intelligence
  • communication
  • computer networks
  • computer programming
  • computer science
  • computer systems
  • databases
  • distributed computer systems
  • distributed systems
  • engineering
  • internet
  • linguistics
  • mathematics
  • network protocols
  • object-oriented programming
  • parallel processing systems
  • program compilers
  • software architecture
  • software design
  • software engineering

Editors and Affiliations

  • University of Turin, Turin, Italy

    Ferruccio Damiani

  • Sir Alwyn William Building, University of Glasgow, Glasgow, UK

    Ornela Dardha

Bibliographic Information

Buying options

eBook
USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-78142-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 89.99
Price excludes VAT (USA)