Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Ferruccio Damiani

    1. University of Turin, Turin, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ornela Dardha

    1. Sir Alwyn William Building, University of Glasgow, Glasgow, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Tutorial

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    2. The Structure of Concurrent Process Histories

      • Chad Nester
      Pages 209-224

    3. A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

      • Davide Basile, Maurice H. ter Beek
      Pages 225-238

    4. A Practical Tool-Chain for the Development of Coordination Scenarios

      • Eva Maria Kuehn
      Pages 239-254
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

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.

Editors and Affiliations

  • University of Turin, Turin, Italy

    Ferruccio Damiani

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

    Ornela Dardha

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation