Sextas Matémáticas

Lógica Modal, Álgebra de Processos e Especificação Formal de Programas Concorrentes

Mario Benevides
COPPE-UFRJ

Sexta feira, 12 de Maio de 2006
Sala C-116 do Centro de Tecnologia, 15:00


RESUMO:
O objetivo desta palestra é apresentar como lógica e álgebra de processos podem ser usadas para provar propriedades de sistemas distribuídos.

Será apresentado u