Pages that link to "Item:Q3655757"
From MaRDI portal
The following pages link to Structural non-interference in elementary and trace nets (Q3655757):
Displaying 4 items.
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- Non-interference by Unfolding (Q5166764) (← links)