Follow
Vincenzo Mastandrea
Vincenzo Mastandrea
Université Côte d’Azur, CNRS, I3S, Inria
Verified email at inria.fr
Title
Cited by
Cited by
Year
Actors may synchronize, safely!
E Giachino, L Henrio, C Laneve, V Mastandrea
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
182016
Analysis of synchronisations in stateful active objects
L Henrio, C Laneve, V Mastandrea
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
152017
Analysis of synchronisation patterns in stateful active objects
L Henrio, C Laneve, V Mastandrea
I3S; Inria-Sophia antipolis, 2017
12017
Analyse de synchronisation dans les objets actifs basée sur les types comportementaux
V Mastandrea
Université Côte d'Azur (ComUE), 2017
2017
Analysis of synchronisation patterns in active objects based on behavioural types
V Mastandrea
Université Côte d'Azur, 2017
2017
Deadlock Analysis of Asynchronous Sequential Processes
C Laneve, E Giachino, V Mastandrea
Deadlock analysis of asynchronous sequential processes
V Mastandrea
The system can't perform the operation now. Try again later.
Articles 1–7