Pages that link to "Item:Q5712327"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712327):
Displaying 6 items.
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- A causal view on non-interference (Q2803575) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)
- Structural non-interference in elementary and trace nets (Q3655757) (← links)
- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets (Q5268427) (← links)
- Lectures on Concurrency and Petri Nets (Q5712299) (← links)