The following pages link to Programming Languages and Systems (Q5316561):
Displayed 8 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Refinement checking for privacy policies (Q436427) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- Type Inference for Correspondence Types (Q5170185) (← links)
- Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206) (← links)
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Q6104494) (← links)