Pages that link to "Item:Q5712299"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712299):
Displaying 13 items.
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← 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)
- (Q3815533) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets (Q5268427) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712327) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)
- Computing a parametric reveals relation for bounded equal-conflict Petri nets (Q6550563) (← links)