Concorrência e Sincronização para Lógica Dinâmica de Processos

Informações:

Publicações do PESC

Título
Concorrência e Sincronização para Lógica Dinâmica de Processos
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Tese de Doutorado
Número de registro
Data da defesa
15/4/2005
Resumo

Apresentamos uma Lógica Dinâmica Proposicional que usa termos CCS como programas. O mecanismo de comunicação é baseado em CCS com ações de comunicação e a ação silenciosa (T) representando ações internas. Provamos a completude com respeito à classe de modelos finitos Kripke. Diferentemente da Lógica Dinâmica de Concorrência com canais, a nossa lógica é decidível.

Abstract

This work presents a Propositional Dynamic Logic which uses CCS terms as programs. The communication mechanism is based on CCS with communication actions and the silent action (T) representing internal actions. We prove completeness with respect to a class of finite Kripke models. Unlike Concurrent PDL (with channels) our logic is decidable.

Arquivo
2047.pdf
Topo