![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 6
2021
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Observational interpretations of hybrid dynamic logic with binders and silent transitions.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 122, 100698
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Hybrid dynamic logic institutions for event/data-based systems.
In: Formal Aspects of Computing, Bd. 33, Nr. 6: S. 1209-1248
2020
Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre und Mindt, Felix
(2020):
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
In: Dynamic Logic: New Trends and Applications, Dali 2019, Bd. 12005: S. 19-34
2018
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2018):
A logic for the stepwise development of reactive systems.
In: Theoretical Computer Science, Bd. 744: S. 78-96
Hennicker, Rolf; Madeira, Alexandre und Wirsing, Martin
(2018):
Behavioural and abstractor specifications revisited.
In: Theoretical Computer Science, Bd. 741: S. 32-43
2016
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2016):
Dynamic Logic with Binders and its Application to the Development of Reactive Systems.
In: Sampaio, Augusto und Wang, Farn (Hrsg.):
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9965. Cham: Springer. S. 422-440