F. Barbanera and U. , Liguoro Where Do Your IoT Ingredients Come From?, p.35

V. Buravlev, R. D. Nicola, and C. , Antares Mezzina On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination, p.67

K. Dokter, S. Jongmans, and F. , An Asynchronous Parallel Abstraction for Speculative Pipeline Computations, p.101

D. Pianini and J. Beal, and Mirko Viroli From Modelling to Systematic Deployment of Distributed Active Objects . . . 208 Ludovic Henrio and Justine Rochas An Interference-Free Programming Model for Network Objects, p.227