Calendário de Eventos
|
Sextas Matemáticas - Palestra
Sexta-feira, 12 Maio 2006, 15:00 - 17:00
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
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