79 citations · 389 across the 22 of their papers we have counts for
4 papers · 1 filter
Model Checking Spatial Logics for Closure Spaces
Vincenzo Ciancia, Diego Latella, Michele Loreti +1
Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distribu…
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari
Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating com…
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Maurice H. ter Beek, Michele Loreti
Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous beh…
On the Power of Attribute-based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
In open systems, i.e. systems operating in an environment that they cannot control and with components that may join or leave, behaviors can arise as side effects of intensive comp…