Problems, Mechanisms and Solutions
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1976
- Accession Number
- ADA034855
Entities
People
- Ellis S. Cohen
Organizations
- Carnegie Mellon University