Barbara H. Liskov

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5075300	2022-05-12	Paper
Collecting cyclic distributed garbage by controlled migration	2020-12-02	Paper
Collecting cyclic distributed garbage by controlled migration	2017-09-29	Paper
Lazy consistency using loosely synchronized clocks	2017-09-29	Paper
Collecting distributed garbage cycles by back tracing	2017-09-29	Paper
Ownership types for object encapsulation	2015-09-11	Paper
Practical uses of synchronized clocks in distributed systems	2015-06-19	Paper
Behavioural subtyping using invariants and constraints	2012-09-05	Paper
Practical uses of synchronized clocks in distributed systems	1993-09-16	Paper
A technique for constructing highly available services	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787422	1986-01-01	Paper
Guardians and Actions: Linguistic Support for Robust, Distributed Programs	1983-01-01	Paper
A Value Transmission Method for Abstract Data Types	1982-01-01	Paper
CLU reference manual	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875321	1980-01-01	Paper
Exception Handling in CLU	1979-01-01	Paper
A language extension for expressing constraints on data access	1978-01-01	Paper
Abstraction mechanisms in CLU	1977-01-01	Paper

This page was built for person: Barbara H. Liskov