Pages that link to "Item:Q1826632"
From MaRDI portal
The following pages link to Semantic models for information flow (Q1826632):
Displaying 5 items.
- Information flow, distributed systems, and refinement, by example (Q1708712) (← links)
- Semantic models for information flow (Q1826632) (← links)
- Information flow in systems with schedulers. I: Definitions (Q1935780) (← links)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting (Q2866731) (← links)
- (Q4515665) (← links)