Pages that link to "Item:Q3655757"
From MaRDI portal
The following pages link to Structural non-interference in elementary and trace nets (Q3655757):
Displaying 6 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)
- Concurrent hyperproperties (Q6535831) (← links)
- Computing a parametric reveals relation for bounded equal-conflict Petri nets (Q6550563) (← links)