0 a set of programs that control the way a computer system works, especially how its memory is used and how different programs work together --
1 the set of programs that a computer uses to operate, store files, and communicate with devices and other computers --
2 a program that controls the way a computer works, and that allows applications (= programs for particular purposes) to work on it: --
Processes access externel files through a file server process which is connected through a port to the underlying operating system.
We also define a top-level function to communicate with the operating system.
Finally, the timed higher-order stream processing functions are illustrated by modelling certain operating system structures.
This library describes the interaction of the program with the operating system.
In operating system research there is related work on locating and optimizing common paths.
Any other type of inter-process communication provided by the host operating system.
The more deterministic the operating system, the more suitable that system will be for real-time applications.
The modelling of operating system structures is a real test for a specification method.