Searching publications on operating systems

Abstract

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 formalization of the concept of an operating system or theory about operating systems based on such a formalization. It reports on the way in which the search has been carried out and the outcome of the search. The outcome includes not only what the search was meant for, but also some added bonuses.

8 pages

Cited by in corpus (10)

• Searching publications on software testing
• Putting Instruction Sequences into Effect
• Preliminaries to an investigation of reduced product set finance
• Stratified Outsourcing Theory
• Informal Control code logic
• On the definition of a theoretical concept of an operating system
• Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations
• Steering Fragments of Instruction Sequences
• Introducing Sourcements
• Intensional view of General Single Processor Operating Systems