79 citations · 389 across the 22 of their papers we have counts for
3 papers · 1 filter
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Collective adaptive systems are new emerging computational systems consisting of a large number of interacting components and featuring complex behaviour. These systems are usually…
A Behavioural Theory for Interactions in Collective-Adaptive Systems
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system…
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
L. Nenzi, L. Bortolussi, V. Ciancia +2
In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cybe…