Abstract is missing.
- Relating Message Passing and Shared Memory, Proof-TheoreticallyFrank Pfenning, Klaas Pruiksma. 3-27 [doi]
- MacroSwarm: A Field-Based Compositional Framework for Swarm ProgrammingGianluca Aguzzi, Roberto Casadei, Mirko Viroli. 31-51 [doi]
- ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in ScalaDavide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli. 52-70 [doi]
- Programming Distributed Collective Processes for Dynamic Ensembles and Collective TasksGiorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli. 71-89 [doi]
- Shelley: A Framework for Model Checking Call Ordering on Hierarchical SystemsCarlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins. 93-114 [doi]
- Stark: A Software Tool for the Analysis of Robustness in the unKnown EnvironmentValentina Castiglioni, Michele Loreti, Simone Tini. 115-132 [doi]
- RSC to the ReSCu: Automated Verification of Systems of Communicating AutomataLoïc Desgeorges, Loïc Germerie Guizouarn. 135-143 [doi]
- Reasoning About Choreographic ProgramsLuís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti. 144-162 [doi]
- Caos: A Reusable Scala Web Animator of Operational SemanticsJosé Proença, Luc Edixhoven. 163-171 [doi]
- JoT: A Jolie Framework for Testing MicroservicesSaverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana. 172-191 [doi]
- Rollback Recovery in Session-Based ProgrammingClaudio Antares Mezzina, Francesco Tiezzi 0001, Nobuko Yoshida. 195-213 [doi]
- Safe Asynchronous Mixed-Choice for Timed InteractionsJonah Pears, Laura Bocchi, Andy King. 214-231 [doi]
- A Formal MDE Framework for Inter-DSL CollaborationSalim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega. 232-249 [doi]
- Legal Contracts Amending with [inline-graphic not available: see fulltext]Cosimo Laneve, Alessandro Parenti, Giovanni Sartor. 253-270 [doi]
- Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing SystemsSalman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko. 271-291 [doi]