Skip to main content
  • Conference proceedings
  • © 2023

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

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

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

Conference proceedings info: COORDINATION 2023.

Buy it now

Buying options

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

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

Table of contents (15 papers)

  1. Front Matter

    Pages i-xiv
  2. Keynote

    1. Front Matter

      Pages 1-1
    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
    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
    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
    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
    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

Other Volumes

  1. Coordination Models and Languages

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.

Keywords

  • Computer Science
  • architecture verification and validation
  • artificial intelligence
  • computer networks
  • architecting
  • computer programming
  • computer science
  • computer systems
  • distributed computer systems
  • distributed systems
  • embedded systems
  • engineering
  • graph theory
  • internet
  • linguistics
  • mathematics
  • signal processing
  • software architecture
  • software design
  • software engineering

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

Buy it now

Buying options

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