Accession Number:

ADA034855

Title:

Problems, Mechanisms and Solutions

Descriptive Note:

Doctoral thesis

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1976-08-01

Pagination or Media Count:

154.0

Abstract:

This thesis formalizes the notions problem, mechanism and solution, and shows how such a formalization is useful in describing problems and proving the correctness of solutions to them in computational systems. Mechanisms are formally defined as mappings layers between two computational systems. They provide natural models for protection, synchronization, and sequential and parallel control mechanisms. Certain algebraic properties of mechanisms are discussed these correspond to properties one would ordinarily consider in studying the mechanisms listed above.

Subject Categories:

  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE