The following pages link to Corin Pitcher (Q2936241):
Displayed 9 items.
- Noninterference for Intuitionist Necessity (Q2936242) (← links)
- Lambda-RBAC: Programming with Role-Based Access Control (Q3518267) (← links)
- Generative Operational Semantics for Relaxed Memory Models (Q3558229) (← links)
- λ-RBAC: Programming with Role-Based Access Control (Q3591428) (← links)
- Open Bisimulation for Aspects (Q3636798) (← links)
- (Q4222925) (← links)
- Quarantining Weakness (Q5326303) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- Foundations of Software Science and Computation Structures (Q5899083) (← links)