Skip to main content
SpringerLink
Log in

Coordination Models and Languages

24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Maurice H. ter Beek

    1. Istituto di Scienza e Tecnologie dell'In, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marjan Sirjani

    1. Mälardalen University, Västerås, Sweden

    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 13271)

Included in the following conference series:

Conference proceedings info: COORDINATION 2022.

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 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 129.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 (13 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Invited Presentation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Methods for Socio-technical Security

      • Luca Viganò
      Pages 3-14

  3. Timed and Probabilistic Systems

    1. Front Matter

      Pages 15-15
      Download chapter PDF

    2. MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

      • Wang Yi, Morteza Mohaqeqi, Susanne Graf
      Pages 17-34

    3. A Sound Up-to-\(n,\delta \) Bisimilarity for PCTL

      • Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
      Pages 35-52

  4. Collective Adaptive Systems and Aggregate Computing

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Extensible 3D Simulation of Aggregated Systems with FCPP

      • Giorgio Audrito, Luigi Rapetta, Gianluca Torta
      Pages 55-71

    3. Towards Reinforcement Learning-based Aggregate Computing

      • Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
      Pages 72-91

    4. Sibilla: A Tool for Reasoning about Collective Systems

      • Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
      Pages 92-98

    5. Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach

      • Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
      Pages 99-117

  5. Processes and Languages

    1. Front Matter

      Pages 119-119
      Download chapter PDF

    2. Formal Choreographic Languages

      • Franco Barbanera, Ivan Lanese, Emilio Tuosto
      Pages 121-139

    3. A Model of Actors and Grey Failures

      • Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
      Pages 140-158

    4. Soft Concurrent Constraint Programming with Local Variables

      • Laura Bussi, Fabio Gadducci, Francesco Santini
      Pages 159-177

  6. Runtime Verification and Monitor Synthesis

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. A Synthesis Tool for Optimal Monitors in a Branching-Time Setting

      • Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
      Pages 181-199

    3. A Monitoring Tool for Linear-Time \(\mu \)HML

      • Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
      Pages 200-219

  7. Microservices

    1. Front Matter

      Pages 221-221
      Download chapter PDF

    2. Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs

      • Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
      Pages 223-240
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.
The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 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.

Editors and Affiliations

  • Istituto di Scienza e Tecnologie dell'In, Pisa, Italy

    Maurice H. ter Beek

  • Mälardalen University, Västerås, Sweden

    Marjan Sirjani

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation