área de pesquisa Patrícia Nascimento Pena Verificação de Não-Conflito na Supervisão de Sistemas Concorrentes Usando Abstrações
