СТ |
A History of CLU |
1993 |
Liskov B. |
|
|
|
SIGPLAN Notices |
21.04.1993 |
СТ |
A New Definition of the Subtype Relation |
1993 |
Liskov B., Wing J. M. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
СТ |
Argus |
1990 |
Liskov B. |
|
|
|
Lecture Notes in Computer Science |
12.02.1991 |
СТ |
Providing High Availability Using Lazy Replication |
1992 |
Ladin R., Liskov B., Ghemawat S. |
|
|
|
ACM Trans. Computer Systems |
04.03.1993 |
СТ |
Providing Persistent Objects in Distributed Systems |
1999 |
Liskov B., Castro M., Shrira L., Adya A. |
|
|
|
Lecture Notes in Computer Science |
09.07.1999 |
СТ |
Reducing Cross Domain Call Overhead Using Batched Futures |
1994 |
Bogle P., Liskov B. |
|
|
|
SIGPLAN Notices |
22.12.1994 |
СТ |
Replication in the Harp File System |
1991 |
Liskov B., Ghemawat S., Gruber R., Johnson P., Shrira L., Williams M. |
|
|
|
Operating Systems Review |
19.12.1991 |
СТ |
Specifications and Their Use in Defining Subtypes |
1995 |
Liskov B., Wing J. M. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
СТ |
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism |
1995 |
Day M., Gruber U., Liskov B., Myers A. C. |
|
|
|
SIGPLANE Notices |
26.12.1995 |