Repositório Institucional da Universidade de Aveiro > CIDMA - Centro de Investigação e Desenvolvimento em Matemática e Aplicações > CIDMA - Comunicações >
 Bisimulation for reactive frames
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/21327

title: Bisimulation for reactive frames
authors: Figueiredo, Daniel
Martins, Manuel António
keywords: Reactive frames
Hennessy-Milner theorem
issue date: 22-Sep-2017
abstract: Reactive frames are those whose structure is not fi xed but can vary according to the path chosen. This kind of frame has been study and both a logic and an axiomatization for it were already developed. In this paper we take this study further and de fine a notion of bisimulation for reactive models. We show that the logic introduced by Marcelino for these frames is invariant under our notion of bisimulation. Finally, we proof the Hennessy-Milner theorem for a class of reactive models.
URI: http://hdl.handle.net/10773/21327
source: DaLí - Dynamic Logic: new trends and applications
appears in collectionsCIDMA - Comunicações

files in this item

file description sizeformat
short.pdfDocumento submetido279.79 kBAdobe PDFview/open

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


Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2