áreas de investigação Especificações de Sistemas Distribuídos Teoria da Computação Teoria de Programas