Pages that link to "Item:Q2803575"
From MaRDI portal
The following pages link to A Causal View on Non-Interference* (Q2803575):
Displayed 4 items.
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)