0 the software that controls a computer’s basic functions, for example sending instructions to peripheral devices, scheduling tasks, and allocating system resources such as memory -- sistem pengendalian
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.