Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69292| Título: | A note on reactive transitions and Reo connectors |
| Autor(es): | Figueiredo, Daniel Martins, Manuel A. Barbosa, L. S. |
| Palavras-chave: | Coordination Reactive transition systems |
| Data: | Abr-2018 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Citação: | Figueiredo, D., Martins, M. A., & Barbosa, L. S. (2018). A note on reactive transitions and Reo connectors. In It's All About Coordination (pp. 57-67). Springer |
| Resumo(s): | The structure of a reactive transition system can to be modi ed on the y by e.g. removing, reversing or adding new transitions. The topic has been studied by D. Gabbay and his collaborators in di erent contexts. In this paper we take their work a step further, introducing a suitable notion of bisimulation and obtaining a Hennessy-Milner theorem with respect to a hybrid logic in which transition properties can be expressed. Our motivation is to provide a characterisation of equivalence for such systems in order to exploit their possible roles in the formal description of software connectors in Reo, either from a behavioural (semantic) or spatial (syntactic) point of view. |
| Tipo: | Capítulo de livro |
| URI: | https://hdl.handle.net/1822/69292 |
| ISBN: | 978-3-319-90088-9 |
| e-ISBN: | 978-3-319-90089-6 |
| DOI: | 10.1007/978-3-319-90089-6_4 |
| ISSN: | 0302-9743 |
| Versão da editora: | https://link.springer.com/chapter/10.1007/978-3-319-90089-6_4 |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
