|
1
|
Distributed Smalltalk: Inheritance and Reactiveness in Distributed Systems
– John K. Bennett
- 1988
|
|
13
|
On Linguistic Support for Distributed Programs
– Barbara Liskov
- 1982
|
|
6
|
The Impact of Software Engineering Research on Modern Programming Languages
– Barbara G. Ryder, Mary Lou Soffa, Margaret Burnett
|
|
|
Issues in the Design of an . . .
– Peter Grogono
- 1991
|
|
27
|
On-Line Software Version Change
– Deepak Gupta
- 1994
|
|
32
|
Exception Handling
– Flaviu Cristian
- 1989
|
|
|
Chapter 7 From Viewstamped Replication to Byzantine Fault Tolerance
– Barbara Liskov
|
|
43
|
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control
– Mark Samuel Miller
- 2006
|
|
6
|
Notes on Refinement, Interpolation and Uniformity.
– T. Dimitrakos, T. S. E. Maibaum
|
|
9
|
Concurrency in Object-Oriented Programming Languages
– Michael Papathomas
- 1995
|
|
120
|
Data Abstraction and Hierarchy
– Barbara Liskov
|
|
4
|
Automatic Software Upgrades for Distributed Systems
– Barbara H. Liskov, Sameer Ajmani, Sameer Ajmani
- 2004
|
|
15
|
Modular Software Upgrades for Distributed Systems
– Sameer Ajmani , Barbara Liskov, Liuba Shrira
- 2006
|
|
|
This Research Wns - ' Fe
– Of Defense And, Toby Bloom
- 1983
|
|
35
|
Dynamic Module Replacement in a Distributed Programming System
– Toby Bloom
- 1983
|
|
9
|
Family Values: A Behavioral Notion of Subtyping
– Barbara Liskov, Jeannette M. Wing
- 1994
|
|
68
|
Writing Larch Interface Language Specifications
– Jeannette M. Wing
- 1987
|
|
398
|
A Behavioral Notion of Subtyping
– Barbara H. Liskov, Jeanette M. Wing
- 1994
|
|
21
|
A Modular Verifiable Exception-Handling Mechanism
– Shaula Yemini, Daniel M. Berry
- 1985
|
