Bisimulation for reactive frames
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...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | conferenceObject |
| Idioma: | eng |
| Publicado em: |
2018
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10773/21327 |
| País: | Portugal |
| Oai: | oai:ria.ua.pt:10773/21327 |