Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/21327
Título: | Bisimulation for reactive frames |
Autor: | Figueiredo, Daniel Martins, Manuel A. |
Palavras-chave: | Reactive frames Bisimulation Hennessy-Milner theorem |
Data: | 22-Set-2017 |
Resumo: | 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 |
URI: | http://hdl.handle.net/10773/21327 |
Aparece nas coleções: | CIDMA - Comunicações AGG - Comunicações |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
short.pdf | Documento submetido | 279.79 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.