Vincenzo Mastandrea

According to our database, Vincenzo Mastandrea authored at least 4 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

PhD thesis, 2017

Analysis of Synchronisations in Stateful Active Objects.

Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Actors may synchronize, safely!

Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Deadlock Analysis with Behavioral Types for Actors.

Vincenzo Mastandrea

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016