Pages that link to "Item:Q2994492"
From MaRDI portal
The following pages link to Refinement by Interpretation in a General Setting (Q2994492):
Displaying 8 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Refining abstract interpretations (Q765513) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- Maximizing theory accuracy through selective reinterpretation (Q1592379) (← links)
- The role of logical interpretations in program development (Q2871226) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)