Pages that link to "Item:Q2994492"

The following pages link to Refinement by Interpretation in a General Setting (Q2994492):

Displaying 3 items.

• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
• A coalgebraic perspective on logical interpretations (Q368477) (← links)
• Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)