Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination

Diego Latella, Mieke Massink

Collective Adaptive Systems (CAS) consist of a large number of interacting objects. The design of such systems requires scalable analysis tools and methods, which have necessarily…