Renato Neves

Un cadre pour analyser les programmes concurrents avec des résultats probabilistes.

Les améliorations dans Lince rendent les simulations de systèmes hybrides plus simples et plus efficaces.