On the definition of a theoretical concept of an operating system

J. A. Bergstra,C. A. Middelburg
DOI: https://doi.org/10.48550/arXiv.1006.0813
2010-06-04
Abstract:We dwell on how a definition of a theoretical concept of an operating system, suitable to be incorporated in a mathematical theory of operating systems, could look like. This is considered a valuable preparation for the development of a mathematical theory of operating systems.
Operating Systems
What problem does this paper attempt to address?