The following pages link to Gerald J. Popek (Q218037):
Displaying 12 items.
- (Q1249429) (redirect page) (← links)
- Proof rules for the programming language Euclid (Q1249430) (← links)
- Disseminating security updates at internet scale (Q1418364) (← links)
- (Q1859246) (redirect page) (← links)
- A conceptual framework for network and client adaptation (Q1859247) (← links)
- Specification and verification of the UCLA Unix security kernel (Q3863057) (← links)
- A locking protocol for resource coordination in distributed databases (Q3871957) (← links)
- (Q4184271) (← links)
- A model for verification of data security in operating systems (Q4184301) (← links)
- Formal requirements for virtualizable third generation architectures (Q4769979) (← links)
- (Q4794439) (← links)
- Replication requirements in mobile environments (Q5950316) (← links)
