Pages that link to "Item:Q997991"
From MaRDI portal
The following pages link to Typing noninterference for reactive programs (Q997991):
Displaying 10 items.
- The security picalculus and non-interference (extended abstract) (Q276474) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- Type-directed bounding of collections in reactive programs (Q2287091) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- From control effects to typed continuation passing (Q2942920) (← links)
- Non-disclosure for distributed mobile code (Q3103611) (← links)
- Functional reactive types (Q4635639) (← links)
- Towards SOS Meta-Theory for Language-Based Security (Q5262972) (← links)
- Typed Lambda Calculi and Applications (Q5704026) (← links)