Formal Model of Classic Operating System Kernel
Sheng Wen Gong · Advanced materials research · 2013
In this paper we describe a model of a classic operating system kernel. We start out with an overview of the main components of the kernel and then present an exact definition of each of these components.