A Provably Correct Operating System: delta-Core. - Ming-Yuan Zhu; Lei Luo 004; Guang-Zhe Xiong (ACM SIGOPS Oper. Syst. Rev., 2001)

The Minimal Model of Operating Systems. - Ming-Yuan Zhu; Lei Luo 004; Guang-Zhe Xiong (ACM SIGOPS Oper. Syst. Rev., 2001)