Observational interpretations of hybrid dynamic logic with binders and silent transitions
From MaRDI portal
Publication:1979970
DOI10.1016/j.jlamp.2021.100698OpenAlexW3163953261MaRDI QIDQ1979970
Alexandre Madeira, Rolf Hennicker, Alexander Knapp
Publication date: 3 September 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100698
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundations of algebraic specification and formal software development.
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- Behavioural and abstractor specifications revisited
- Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions
- Behavioural correctness of data representations
- On observational equivalence and algebraic specification
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Context induction: A proof principle for behavioural abstractions and algebraic implementations
- Fully abstract models of typed \(\lambda\)-calculi
- A logic for the stepwise development of reactive systems
- Behavioural and abstractor specifications
- Constructor-based observational logic
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
- Observational Semantics for Dynamic Logic with Binders
- The Correctness-by-Construction Approach to Programming
- Theoretical Aspects of Computing – ICTAC 2005
- Recent Trends in Algebraic Development Techniques
- Hybrid logic and its proof-theory
This page was built for publication: Observational interpretations of hybrid dynamic logic with binders and silent transitions