The following pages link to Vertical implementation (Q1854462):
Displaying 4 items.
- Contexts, refinement and determinism (Q541213) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Interleaving isotactics -- an equivalence notion on behaviour abstractions (Q1643139) (← links)
- General Refinement, Part Two: Flexible Refinement (Q5403471) (← links)