Pages that link to "Item:Q1935780"
From MaRDI portal
The following pages link to Information flow in systems with schedulers. I: Definitions (Q1935780):
Displaying 5 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- Information flow in systems with schedulers. II: Refinement (Q383362) (← links)
- Read-abortion (RA) based synchronization protocols to prevent illegal information flow (Q494034) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Semantic models for information flow (Q1826632) (← links)