Pages that link to "Item:Q1603688"
From MaRDI portal
The following pages link to Noninterference for concurrent programs and thread systems (Q1603688):
Displaying 6 items.
- Typing access control and secure information flow in sessions (Q462485) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Finite-word hyperlanguages (Q6186311) (← links)
