Skip to main content
SpringerLink
Log in

Coordination Models and Languages

25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Sung-Shik Jongmans

    1. Open University of The Netherlands, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antónia Lopes

    1. Universidade de Lisboa, Lisbon, Portugal

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2023.

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

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Keynote

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Relating Message Passing and Shared Memory, Proof-Theoretically

      • Frank Pfenning, Klaas Pruiksma
      Pages 3-27

  3. Collective Adaptive Systems and Aggregate Computing

    1. Front Matter

      Pages 29-29
      Download chapter PDF

    2. MacroSwarm: A Field-Based Compositional Framework for Swarm Programming

      • Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
      Pages 31-51

    3. ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala

      • Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
      Pages 52-70

    4. Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks

      • Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
      Pages 71-89

  4. Cyber-Physical Systems

    1. Front Matter

      Pages 91-91
      Download chapter PDF

    2. Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems

      • Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
      Pages 93-114

    3. Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment

      • Valentina Castiglioni, Michele Loreti, Simone Tini
      Pages 115-132

  5. Verification and Testing

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. RSC to the ReSCu: Automated Verification of Systems of Communicating Automata

      • Loïc Desgeorges, Loïc Germerie Guizouarn
      Pages 135-143

    3. Reasoning About Choreographic Programs

      • Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
      Pages 144-162

    4. Caos: A Reusable Scala Web Animator of Operational Semantics

      • José Proença, Luc Edixhoven
      Pages 163-171

    5. JoT: A Jolie Framework for Testing Microservices

      • Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
      Pages 172-191

  6. Languages and Processes

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Rollback Recovery in Session-Based Programming

      • Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
      Pages 195-213

    3. Safe Asynchronous Mixed-Choice for Timed Interactions

      • Jonah Pears, Laura Bocchi, Andy King
      Pages 214-231

    4. A Formal MDE Framework for Inter-DSL Collaboration

      • Salim Chehida, Akram Idani, Mario Cortes-Cornax, German Vega
      Pages 232-249

  7. Run-Time Changes

    1. Front Matter

      Pages 251-251
      Download chapter PDF
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.
The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.
The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.

Editors and Affiliations

  • Open University of The Netherlands, Amsterdam, The Netherlands

    Sung-Shik Jongmans

  • Universidade de Lisboa, Lisbon, Portugal

    Antónia Lopes

Bibliographic Information

  • Book Title: Coordination Models and Languages

  • Book Subtitle: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

  • Editors: Sung-Shik Jongmans, Antónia Lopes

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-35361-1

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2023

  • Softcover ISBN: 978-3-031-35360-4Published: 15 June 2023

  • eBook ISBN: 978-3-031-35361-1Published: 14 June 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 293

  • Number of Illustrations: 33 b/w illustrations, 61 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation