Renato Neves

Un marco para analizar programas concurrentes con resultados probabilísticos.

Las mejoras en Lince hacen que las simulaciones de sistemas híbridos sean más simples y efectivas.