Pages that link to "Item:Q383362"
From MaRDI portal
The following pages link to Information flow in systems with schedulers. II: Refinement (Q383362):
Displaying 4 items.
- Stabilization-preserving atomicity refinement (Q701138) (← links)
- Information flow in systems with schedulers. I: Definitions (Q1935780) (← links)
- Preservation of probabilistic information flow under refinement (Q2482443) (← links)
- On Refinement-Closed Security Properties and Nondeterministic Compositions (Q5178974) (← links)