Skip to main content

Folder 105

 Container

Contains 1 Result:

Program Reduction, and Aid to Verifications of Concurrent Processes, May 1973

 File — Folder: 105
Scope and Contents From the Series: In Habermann's office files these folders composed a section entitled Papers and Reports, which was maintained in reverse chronological order, by year and paper date. Habermann's intention was to keep available, by date of authorship, his scientific papers and administrative reports for professional involvements. Represented were published and unpublished papers often co-authored on operating systems design, computer languages such as Ada, ALGOL and Gandalf, and on software...
Dates: May 1973