Pages that link to "Item:Q3655757"
From MaRDI portal
The following pages link to Structural non-interference in elementary and trace nets (Q3655757):
Displaying 10 items.
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- A causal view on non-interference (Q2803575) (← 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)
- Lectures on Concurrency and Petri Nets (Q5712299) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712327) (← links)
- Concurrent hyperproperties (Q6535831) (← links)
- Computing a parametric reveals relation for bounded equal-conflict Petri nets (Q6550563) (← links)