Detalhes bibliográficos
| Ano de defesa: |
1989 |
| Autor(a) principal: |
Vasconcelos, Wamberto Weber Miranda Peixoto de |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=6304
|
Resumo: |
As lógica temporais têm sido usadas na especificação formal e verificação de programas paralelos. Nesta dissertação, são apresentadas de forma didática, algumas dessas lógicas, mostrando como suas estruturas subjacentes de tempo modelam sistemas distribuídos. Para cada uma das lógicas, é apontada, através de exemplos, sua adequação à tarefa de especificação formal de sistemas distribuídos. |
