Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69278
Título: | Hierarchical hybrid logic |
Autor(es): | Madeira, Alexandre Leite Castro Neves, Renato Jorge Araújo Martins, Manuel A. Barbosa, L. S. |
Palavras-chave: | Hybrid logic Hierarchical systems |
Data: | Out-2018 |
Editora: | Elsevier 1 |
Revista: | Electronic Notes in Theoretical Computer Science |
Citação: | Madeira, A., Neves, R., Martins, M. A., & Barbosa, L. S. (2018). Hierarchical hybrid logic. Electronic Notes in Theoretical Computer Science, 338, 167-184 |
Resumo(s): | We introduce HHL, a hierarchical variant of hybrid logic. We study first order correspondence results and prove a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for HHL. Combining hierarchical transition structures with the ability to refer to specific states at different levels, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/69278 |
DOI: | 10.1016/j.entcs.2018.10.011 |
ISSN: | 1571-0661 |
Versão da editora: | https://www.sciencedirect.com/science/article/pii/S157106611830077X |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
MNMB18.pdf | 311 kB | Adobe PDF | Ver/Abrir |