Login / Signup

Some remarks on the use of abstract specifications for operating systems.

Harald Würges
Published in: ACM SIGSOFT Softw. Eng. Notes (1978)
Keyphrases
  • operating system
  • computer systems
  • high level
  • virtual machine
  • windows xp
  • distributed systems
  • memory management
  • address space
  • linux kernel
  • database
  • input output
  • multi threaded
  • microsoft windows
  • windows nt