Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Sextas Matemáticas - Palestra'

UFRJ
Divulgação de eventos da UFRJ (exceto COPPE).
Data: Friday, May 12, 2006 At 15:00
Duração: 2 Horas

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 uma introdução a álgebras de processos concorrentes com operadores de composição sequencial, escolha não determinística e composição paralela. Em seguida, apresentaremos o pi-Calculus que é uma extensão para processos móveis.

Apresentaremos lógicas dinâmicas para processos e discutiremos algumas extensões. Vamos concluir mostrando que tipo de propriedades são mais apropriadades de serem provadas em cada um dos formalismos.


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)