The following pages link to (Q4535032):
Displaying 5 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
