Login / Signup

Specification of an Operating System Kernel FOREST and VDM compared.

S. J. Goldsack
Published in: VDM Europe (1988)
Keyphrases
  • operating system
  • computer systems
  • virtual machine
  • microsoft windows
  • application level
  • multi threaded
  • distributed systems
  • address space
  • linux kernel
  • windows xp
  • multi tasking
  • learning red hat linux