The following pages link to A causal view on non-interference (Q2803575):
Displaying 8 items.
- `Non-interference' implies equality (Q733776) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- On the Hsiao definition of non-causality (Q1978520) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- Lectures on Concurrency and Petri Nets (Q5712299) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712327) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)