vai al contenuto
F. DAMIANI
Teaching (ITALIAN ONLY)
Projects and cooperations
MoVeRe research group
(Some) no longer supported prototypes
Elena/StateJ
(
A type safe state abstraction for coordination in Java-like languages
)
Older prototypes (with on-line demonstration)