![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
24th COORDINATION 2022: Lucca, Italy
- Maurice H. ter Beek
, Marjan Sirjani
:
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Lecture Notes in Computer Science 13271, Springer 2022, ISBN 978-3-031-08145-3
Invited Presentation
- Luca Viganò
:
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). 3-14
Timed and Probabilistic Systems
- Wang Yi, Morteza Mohaqeqi, Susanne Graf:
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. 17-34 - Massimo Bartoletti, Maurizio Murgia
, Roberto Zunino:
A Sound Up-to-n, δ Bisimilarity for PCTL. 35-52
Collective Adaptive Systems and Aggregate Computing
- Giorgio Audrito
, Luigi Rapetta, Gianluca Torta
:
Extensible 3D Simulation of Aggregated Systems with FCPP. 55-71 - Gianluca Aguzzi
, Roberto Casadei
, Mirko Viroli
:
Towards Reinforcement Learning-based Aggregate Computing. 72-91 - Nicola Del Giudice
, Lorenzo Matteucci
, Michela Quadrini
, Aniqa Rehman
, Michele Loreti
:
Sibilla: A Tool for Reasoning about Collective Systems. 92-98 - Roberto Casadei
, Stefano Mariani, Danilo Pianini
, Mirko Viroli
, Franco Zambonelli
:
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. 99-117
Processes and Languages
- Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Formal Choreographic Languages. 121-139 - Laura Bocchi, Julien Lange
, Simon Thompson, A. Laura Voinea:
A Model of Actors and Grey Failures. 140-158 - Laura Bussi
, Fabio Gadducci, Francesco Santini:
Soft Concurrent Constraint Programming with Local Variables. 159-177
Runtime Verification and Monitor Synthesis
- Antonis Achilleos
, Léo Exibard
, Adrian Francalanza
, Karoliina Lehtinen
, Jasmine Xuereb
:
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. 181-199 - Luca Aceto
, Antonis Achilleos
, Duncan Paul Attard
, Léo Exibard
, Adrian Francalanza
, Anna Ingólfsdóttir
:
A Monitoring Tool for Linear-Time μHML. 200-219
Microservices
- Saverio Giallorenzo
, Fabrizio Montesi
, Marco Peressotti
, Florian Rademacher
:
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. 223-240
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.