25 citations · 290 across the 54 of their papers we have counts for
Showing cs.OSShow all
2 papers · 1 filter
cs.OS2010★ 3 cited
On the definition of a theoretical concept of an operating system
J. A. Bergstra, C. A. Middelburg
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 co…
cs.OS2010★ 12 cited
Searching publications on operating systems
C. A. Middelburg
This note concerns a search for publications in which one can find statements that explain the concept of an operating system, reasons for introducing operating systems, a formaliz…