Artifact Details


Systems Research Center reports 087-099 and 920-931

Catalog Number







Lamport, Leslie; Cardelli, Luca; Abadi, Martin; Hershberger, John; Levin, Roy


Digital Equipment Corporation (DEC). Systems Research Center


This box contains the following technical reports, filed in the same order as this list:
Animation of geometric algorithms: a video review
Factors in the performance of the AN1 computer network
Compositional refinement of interactive systems
A high-speed DES implementation for network applications
An old-fashioned recipe for real time
Hector: connecting words with definitions
Experiences with software specification and verification using LP, the Larch proof assistant
How to write a proof
Baby Modula-3 and a theory of objects
How to make a correct multiprocess program execute correctly on a multiprocessor
An implementation of F <:
The 1992 SRC algorithm animation festival
High speed switch scheduling for local area networks
The first 99 reports
Safe, efficient garbage collection for C++
A coherent distributed file cache with directory write-behind
New-value logging in the Echo replicated file system
The Vesta approach to precise configuration of large software systems
The Vesta repository: a file system extension for software development
The Vesta language for configuration management
Bridges: tools to extend the Vesta configuration management system
Formal parametric polymorphism
Algorithm animation using 3D interactive graphics
The Echo distributed file system
The second annual video review of computational geometry


Technical Report

Collection Title

Digital Equipment Corporation records

Series Title

Technical reports: Systems Research Center reports


Gift of Hewlett-Packard Company

Lot Number