Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/25845
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Figueiredo, Daniel | pt_PT |
dc.contributor.author | Martins, Manuel A. | pt_PT |
dc.contributor.author | Barbosa, Luís Soares | pt_PT |
dc.date.accessioned | 2019-04-23T15:45:38Z | - |
dc.date.available | 2019-04-23T15:45:38Z | - |
dc.date.issued | 2018 | - |
dc.identifier.isbn | 978-3-319-90088-9 | pt_PT |
dc.identifier.uri | http://hdl.handle.net/10773/25845 | - |
dc.description.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. | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | Springer | pt_PT |
dc.relation | SmartEGOV / NORTE-01-0145-FEDER-000037 | pt_PT |
dc.relation | info:eu-repo/grantAgreement/FCT/5876/147206/PT | pt_PT |
dc.relation | PD/BD/114186/2016 | pt_PT |
dc.rights | restrictedAccess | pt_PT |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | pt_PT |
dc.subject | Switch graph | pt_PT |
dc.subject | Reo connectors | pt_PT |
dc.title | A note on reactive transitions and Reo connectors | pt_PT |
dc.type | bookPart | pt_PT |
dc.description.version | published | pt_PT |
dc.peerreviewed | yes | pt_PT |
degois.publication.firstPage | 57 | pt_PT |
degois.publication.lastPage | 67 | pt_PT |
degois.publication.title | It's all about oordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab | pt_PT |
dc.identifier.doi | 10.1007/978-3-319-90089-6_4 | pt_PT |
dc.identifier.esbn | 978-3-319-90089-6 | pt_PT |
Appears in Collections: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Repositório.pdf | 343.43 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.