The following pages link to Barbara H. Liskov (Q1109558):
Displaying 18 items.
- A technique for constructing highly available services (Q1109559) (← links)
- CLU reference manual (Q1153681) (← links)
- Practical uses of synchronized clocks in distributed systems (Q1261109) (← links)
- Behavioural subtyping using invariants and constraints (Q2906947) (← links)
- Ownership types for object encapsulation (Q2942927) (← links)
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs (Q3657424) (← links)
- (Q3787422) (← links)
- Exception Handling in CLU (Q3865421) (← links)
- (Q3875321) (← links)
- A Value Transmission Method for Abstract Data Types (Q3962455) (← links)
- Abstraction mechanisms in CLU (Q4136503) (← links)
- A language extension for expressing constraints on data access (Q4148933) (← links)
- (Q5075300) (← links)
- Collecting cyclic distributed garbage by controlled migration (Q5137329) (← links)
- Practical uses of synchronized clocks in distributed systems (Q5255801) (← links)
- Collecting cyclic distributed garbage by controlled migration (Q5361436) (← links)
- Lazy consistency using loosely synchronized clocks (Q5361469) (← links)
- Collecting distributed garbage cycles by back tracing (Q5361487) (← links)
