On the definition of a theoretical concept of an operating system
Operating Systems
2010-06-07 v1
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.
Cite
@article{arxiv.1006.0813,
title = {On the definition of a theoretical concept of an operating system},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:1006.0813},
year = {2010}
}
Comments
8 pages