Guang-Zhe Xiong

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
The Minimal Model of Operating Systems. ACM SIGOPS Oper. Syst. Rev. 35 (3) (2001)
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
A Provably Correct Operating System: delta-Core. ACM SIGOPS Oper. Syst. Rev. 35 (1) (2001)