The following pages link to Verification: Theory and Practice (Q5305663):
Displaying 7 items.
- `Non-interference' implies equality (Q733776) (← links)
- Fairness, distances and degrees (Q1193862) (← links)
- Fair simulation (Q1854506) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- (Q4472441) (← links)
- (Q5695181) (← links)