Macroprogramming refers to the theory and practice of expressing the macro (scopic)
behaviour of a collective system using a single program. Macroprogramming approaches …

The autonomic computing paradigm has been proposed to cope with size, complexity, and
dynamism of contemporary software-intensive systems. The challenge for language …

A recently proposed approach to the rigorous engineering of collective adaptive systems is
the aggregate computing paradigm, which operationalises the idea of expressing collective …

Abstract Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous
task-oriented systems that cooperate on common goals forming a collective system. This …

Collective adaptive systems are new emerging computational systems consisting of a large
number of interacting components and featuring complex behaviour. These systems are …

In open systems exhibiting adaptation, behaviors can arise as side effects of intensive
components interaction. Finding ways to understand and design these systems, is a difficult …

Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of
Things (IoT), and edge computing, call for coordination approaches addressing openness …

In this paper we present CARMA, a language recently defined to support specification and
analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped …

Abstract On many occasions, Rocco De Nicola has shown an amazing ability to combine
different research topics to offer original results to seemingly different research problems …

The specification of Multi-lane Spatial Logic (MLSL) was introduced in [1, 2] for proving
safety (collision freedom) on multi-lane motorways and country roads. We now consider an …