Login / Signup
Abstract specification and formalization of an operating system kernel in Z.
Luciano Barreto
Aline Andrade
Adolfo Duran
Caique Lima
Ademilson Lima
Published in:
ACM SIGOPS Oper. Syst. Rev. (2011)
Keyphrases
</>
operating system
computer systems
high level
virtual machine
microsoft windows
windows xp
distributed systems
data structure
linux kernel
operating environment
red hat
databases
multi tasking
windows nt
virtual memory
application level
database management systems
open source