Renato Neves

Uma estrutura para analisar programas concorrentes com resultados probabilísticos.

Melhorias no Lince tornam as simulações de sistemas híbridos mais simples e eficazes.