Coordination Models and Languages

.- Regular papers.

.- Choreographic Automata A Case Study in Healthcare Management.

.- A Probabilistic Choreography Language for PRISM.

.- Encoding Petri Nets into CCS.

.- Field-based Coordination for Federated Learning.

.- COTS: Connected OpenAPI Test Synthesis for RESTful Applications.

.- Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal.

.- Simulation-based Decision Support for Cross Organisational Workflows: A Case Study of Emergency Handling.

.- An Enhanced Exchange Operator for XC.

.- Short papers.

.-The Concurrent Calculi Formalisation Benchmark.

.- Survey papers.

.- Team Automata Overview and Roadmap.

.- Tool papers.

.- An OpenWhisk Extension for Topology aware Allocation Priority Policies.

.- Coconut Typestates for Embedded Systems.

.- TRAC a tool for data aware coordination (with an application to smart contracts).

.- ScaFi-Blocks A Visual Aggregate Programming Environment for Low Code Swarm Design.

.- Visualisation of Collective Systems with Sequit and Sibilla.

.- Implementing a Message Passing Interpretation of the Semi Axiomatic Sequent Calculus (SAX).

.- SEArch: an execution infrastructure for service-based software systems.