área de pesquisa A Máquina Geométrica - um modelo computacional para concorrência e não-determinismo usando como estrutura os Espaços Coerentes. Abraão Guimarães Flores Marcela Quispe Cruz
