Pages that link to "Item:Q5395112"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395112):
Displayed 4 items.
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- Formalizing Probabilistic Noninterference (Q2938053) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
- Secure Data Flow in a Calculus for Context Awareness (Q3507380) (← links)