membro de Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa TecMF - Logical Reasoning Grupo de Pesquisa
publicações selecionadas ReLo: a dynamic logic to reason about Reo circuits Interpreting Reo Circuits as PDL models ReLo: a Dynamic Logic to Reason About Reo Circuits A logical framework to reason about Reo circuits
