A Value Transmission Method for Abstract Data Types (1982)

Cached

Download Links

by M. Herlihy , B. Liskov
Venue:ACM Transactions on Programming Languages and Systems
Citations:80 - 4 self

Active Bibliography

1 Distributed Smalltalk: Inheritance and Reactiveness in Distributed Systems – John K. Bennett - 1988
16 On Linguistic Support for Distributed Programs – Barbara Liskov - 1982
Issues in the Design of an . . . – Peter Grogono - 1991
8 The Impact of Software Engineering Research on Modern Programming Languages – Barbara G. Ryder, Mary Lou Soffa, Margaret Burnett
29 On-Line Software Version Change – Deepak Gupta - 1994
4.2 BASIC NOTIONS............................... 83 – unknown authors
35 Exception Handling – Flaviu Cristian - 1989
Chapter 7 From Viewstamped Replication to Byzantine Fault Tolerance – Barbara Liskov
58 H.: “Implementation of Resilient, Atomic Data Types – William Weihl, Barbara Liskov - 1985
82 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
10 Concurrency in Object-Oriented Programming Languages – Michael Papathomas - 1995
129 Data Abstraction and Hierarchy – Barbara Liskov
4 Automatic Software Upgrades for Distributed Systems – Barbara H. Liskov, Sameer Ajmani, Sameer Ajmani - 2004
20 Modular Software Upgrades for Distributed Systems – Sameer Ajmani , Barbara Liskov, Liuba Shrira - 2006
This Research Wns - ' Fe – Of Defense And, Toby Bloom - 1983
37 Dynamic Module Replacement in a Distributed Programming System – Toby Bloom - 1983
A DISTRIBUTED SYSTEMS LANGUAGE – Michael Lee Scott, Michael Lee Scott - 1985
9 Family Values: A Behavioral Notion of Subtyping – Barbara Liskov, Jeannette M. Wing - 1994