Recent studies have confirmed a growing trend, especially among youngste...
We review some results regarding specification, programming and verifica...
Online Social Media represent a pervasive source of information able to ...
Modern systems evolve in unpredictable environments and have to continuo...
Incorrect operations of a Multi-Robot System (MRS) may not only lead to
...
We propose a process calculus, named AbC, to study the behavioural theor...
Collective adaptive systems are new emerging computational systems consi...