Pages that link to "Item:Q1906038"
From MaRDI portal
The following pages link to On simulation, subtyping and substitutability in sequential object systems (Q1906038):
Displaying 5 items.
- Class refinement as semantics of correct object substitutability (Q1586166) (← links)
- A complete algebraic characterization of behavioral subtyping (Q1977078) (← links)
- Simulation of behaviour and object substitutability (Q2737499) (← links)
- A coalgebraic semantics of subtyping (Q2747942) (← links)
- Inheritance of behavior (Q5943265) (← links)