Title
Systems Research Center reports 046-065Catalog Number
102754118Type
DocumentDescription
This box contains the following technical reports, filed in the same order as this list:An algorithm for data replication
Dynamic typing in a statically typed language
Operations on records
The part-time parliament
An efficient algorithm for finding the CSG representation of a simple polygon
Experience with the Firefly multiprocessor workstation
Modula-3 report (revised)
IO streams: abstract types, real programs
Explicit substitutions
A semantic basis for Quest
Abstract types and the dot notation
A temporal logic of actions
Report on the Larch Shared Language: Version 2.3
Autonet: a high-speed, self-configuring local area network using point-to-point links
Debugging Larch Shared Language specifications
In memoriam: J.C.R. Licklider 1915-1990
Subtyping recursive types
Heap usage in the Topaz environment
Experience with concurrent garbage collectors for Modula-2+
An axiomatization of Lamport’s temporal logic of actions