Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10520
Title: Hierarchical Hybrid Logic
Authors: Renato Jorge Neves
Luís Soares Barbosa
Martins,MA
Alexandre Castro Madeira
Issue Date: 2018
Abstract: 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.
URI: http://repositorio.inesctec.pt/handle/123456789/10520
http://dx.doi.org/10.1016/j.entcs.2018.10.011
metadata.dc.type: Publication
article
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00P-TWE.pdf311 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.