A note on reactive transitions and Reo connectors
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 bi...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | bookPart |
| Language: | eng |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10773/25845 |
| Country: | Portugal |
| Oai: | oai:ria.ua.pt:10773/25845 |