Encontrados 2 documentos, a visualizar página 1 de 1

Ordenado por Data
ir para a primeira página ir para a página anterior
ir para a página: 1
ir para a página seguinte ir para a última página
rss feed resultados pesquisa

Hybridization of institutions

Martins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S.

Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techn...

Data: 2011   |   Origem: RIA - Repositório Institucional da Universidade de Aveiro
Mais info.

Hybridization of institutions

Martins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L. S.

Extended version including all proofs ; Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resul...

Data: 2011   |   Origem: RepositóriUM - Universidade do Minho
Mais info.
ir para a primeira página ir para a página anterior
ir para a página: 1
ir para a página seguinte ir para a última página
rss feed resultados pesquisa

2 Resultados

Texto Pesquisado

Refinar resultados

Autor






Data


Tipo de Documento



Recurso



Assunto














    Financiadores do RCAAP
Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia