Towards the formal description of operating systems.

Erich J. Neuhold

Published in: SIGPLAN-SIGOPS Interface Meeting (1973)

Keyphrases

operating system
computer systems
virtual machine
memory management
microsoft windows
security mechanisms
distributed systems
operating environment
database systems
application programs
windows xp
databases
machine learning
multi threaded
multi tasking