Cited By
View all- Pianini DCasadei RViroli M(2022)Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)10.1109/ACSOS55765.2022.00026(81-90)Online publication date: Sep-2022
- Aguzzi GCasadei RViroli M(2022)Towards Reinforcement Learning-based Aggregate ComputingCoordination Models and Languages10.1007/978-3-031-08143-9_5(72-91)Online publication date: 14-Jun-2022
- Casadei RViroli MAudrito GDamiani F(2020)FScaFi : A Core Calculus for Collective Adaptive Systems ProgrammingLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles10.1007/978-3-030-61470-6_21(344-360)Online publication date: 27-Oct-2020
- Show More Cited By