Vincenzo Mastandrea

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Statistical Analysis

Spatial Relations

Digital Libraries

Top Venues

University of Côte d'Azur, France (PHD)

Education History

University of Côte d'Azur, France

PHD

Publications

Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
Analysis of Synchronisations in Stateful Active Objects. IFM (2017)
Vincenzo Mastandrea
Deadlock Analysis with Behavioral Types for Actors. ICTCS (2016)
Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
Actors may synchronize, safely! PPDP (2016)