Renato Neves

Un framework per analizzare programmi concorrenti con risultati probabilistici.

I miglioramenti in Lince rendono le simulazioni dei sistemi ibridi più semplici ed efficaci.