Please use this identifier to cite or link to this item:
Title: A note on reactive transitions and Reo connectors
Author: Figueiredo, Daniel
Martins, Manuel A.
Barbosa, Luís Soares
Keywords: Switch graph
Reo connectors
Issue Date: 2018
Publisher: Springer
Abstract: The structure of a reactive transition system can to be modified on the fly by e.g. removing, reversing or adding new transitions. The topic has been studied by D. Gabbay and his collaborators in different 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.
Peer review: yes
DOI: 10.1007/978-3-319-90089-6_4
ISBN: 978-3-319-90088-9
Appears in Collections:CIDMA - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
Repositório.pdf343.43 kBAdobe PDFrestrictedAccess

Formato BibTex MendeleyEndnote Degois 

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