On the definition of a theoretical concept of an operating system
Jan Aldert Bergstra, Cornelis A. Middelburg · arXiv (Cornell University) · 2010
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.