Pages that link to "Item:Q1426939"
From MaRDI portal
The following pages link to Behavioral subtyping relations for active objects (Q1426939):
Displaying 9 items.
- Model evolution and refinement (Q436356) (← links)
- Easy verification of behavioural subtyping in common cases (Q672503) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Simulation of behaviour and object substitutability (Q2737499) (← links)
- Subtyping in distributed systems (Q2906946) (← links)
- Behavioural subtyping using invariants and constraints (Q2906947) (← links)
- (Q4790347) (← links)
- Strong types for coordinating active objects (Q4790922) (← links)