Liguoro Where Do Your IoT Ingredients Come From?, p.35 ,
Antares Mezzina On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination, p.67 ,
An Asynchronous Parallel Abstraction for Speculative Pipeline Computations, p.101 ,
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 ,