Abstract is missing.
- Timed Scenario Expressions and RealisabilityNeda Saeedloei, Feliks Kluzniak. 3-25 [doi]
- HistMSO: a Logic for Reasoning About Consistency Models with MONAIsabelle Coget, Étienne Lozes. 26-46 [doi]
- Motif Refinement for the Hierarchical Control of Structured CPSsSimon Bliudze, Sophie Cerf, Olga Kouchnarenko. 47-69 [doi]
- Aggregate Indoor LocalisationGiorgio Audrito, Leonardo Bertolino, Ferruccio Damiani, Gianluca Torta. 73-92 [doi]
- A Self-stabilizing Min-Max Consensus via Path-Loop DetectionAngela Cortecchia, Danilo Pianini, Mirko Viroli. 93-114 [doi]
- ScalaTropy: Multiparty Coordination with Monadic Communication PrimitivesNicolas Farabegoli, Luca Tassinari, Gianluca Aguzzi, Mirko Viroli. 115-135 [doi]
- Bach4Popper: Towards Federated Inductive Logic Programming Using CoordinationYasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden, Wim Vanhoof. 136-156 [doi]
- Runtime Adaptation as a Programming Pattern in Service CompositionCarlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto. 157-173 [doi]
- Phyelds: A Pythonic Framework for Aggregate ComputingGianluca Aguzzi, Davide Domini, Nicolas Farabegoli, Mirko Viroli. 174-191 [doi]
- Proof of Delivery: Mechanized Mailbox TypesEdgard Schiebelbein, Annette Bieniusa, Simon Fowler 0001. 195-215 [doi]
- Deductive Verification of Legal ContractsReiner Hähnle, Cosimo Laneve. 216-237 [doi]
- Simulation and Analysis of Indoor-Air-Quality Measuring Devices with YODARiccardo Petracci, Nicola Del Giudice 0002, Diletta Romana Cacciagrano, Michele Loreti. 241-262 [doi]
- High-Fidelity Simulation of Aggregate Computing Systems with CollektivityFilippo Gurioli, Martina Baiardi, Angela Cortecchia, Danilo Pianini. 263-281 [doi]