área de pesquisa Constantino Gonçalves Ribeiro Detecção de Predicados Conjuntivos Generalizados e Propriedades sobre Fluxos de Controle de Programas Paralelos Distribuídos
