Deadlock Analysis with Behavioral Types for Actors. - Vincenzo Mastandrea (ICTCS, 2016)

Actors may synchronize, safely! - Elena Giachino; Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea (PPDP, 2016)

Analysis of Synchronisations in Stateful Active Objects. - Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea (IFM, 2017)

Analysis of synchronisation patterns in active object based on behavioural types. (Analyse de synchronisation dans les objets actifs basée sur les types comportementaux). - Vincenzo Mastandrea (2017)