Observational interpretations of hybrid dynamic logic with binders and silent transitions

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

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• CafeOBJ

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