Coordination Models and Languages
Sung-Shik Jongmans, Antónia Lopes |
Front Matter |
Keynote
|
Relating Message Passing and Shared Memory, Proof-Theoretically
Frank Pfenning, Klaas Pruiksma |
3-27 |
Collective Adaptive Systems and Aggregate Computing
|
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
31-51 |
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli |
52-70 |
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli |
71-89 |
Cyber-Physical Systems
|
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
Carlos Ferro, Tiago Cogumbreiro, Francisco Martins |
93-114 |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
Valentina Castiglioni, Michele Loreti, Simone Tini |
115-132 |
Verification and Testing
|
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata
Loïc Desgeorges, Loïc Germerie Guizouarn |
135-143 |
Reasoning About Choreographic Programs
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
144-162 |
Caos: A Reusable Scala Web Animator of Operational Semantics
José Proença, Luc Edixhoven |
163-171 |
JoT: A Jolie Framework for Testing Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana |
172-191 |
Languages and Processes
|
Rollback Recovery in Session-Based Programming
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida |
195-213 |
Safe Asynchronous Mixed-Choice for Timed Interactions
Jonah Pears, Laura Bocchi, Andy King |
214-231 |
A Formal MDE Framework for Inter-DSL Collaboration
Salim Chehida, Akram Idani, Mario Cortes-Cornax, German Vega |
232-249 |
Run-Time Changes
|
Legal Contracts Amending with
Laneve Cosimo, Alessandro Parenti, Giovanni Sartor |
253-270 |
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems
Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
271-291 |
