The following pages link to Butler Lampson (Q1249427):
Displaying 13 items.
- (Q1104070) (redirect page) (← links)
- Pebble, a kernel language for modules and abstract data types (Q1104071) (← links)
- Proof rules for the programming language Euclid (Q1249430) (← links)
- Revisiting the PAXOS algorithm (Q1575634) (← links)
- Analysis and caching of dependencies (Q2817686) (← links)
- (Q3345748) (← links)
- (Q4045617) (← links)
- (Q4048560) (← links)
- (Q4050162) (← links)
- (Q4184271) (← links)
- (Q5447367) (← links)
- A scheduling philosophy for multiprocessing systems (Q5550150) (← links)
- Programming concurrent systems (Q6624625) (← links)