On the definition of a theoretical concept of an operating system

06/04/2010

∙

by   J. A. Bergstra, et al.

∙

0

∙

share

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.