Please use this identifier to cite or link to this item:
Title: Bisimulation for reactive frames
Author: 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.
Peer review: no
Appears in Collections:CIDMA - Comunicações
AGG - Comunicações

Files in This Item:
File Description SizeFormat 
short.pdfDocumento submetido279.79 kBAdobe PDFView/Open

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

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