I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.
Contact: hengxin-0912-@gmail.-com (remove the three dashes)
19 How do I find my wife in a supermarket? jan 16
7 How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem? jan 1 '13
5 Emulations of atomic registers and read-modify-write (RMW) primitives in message-passing systems sep 16 '14
5 Visualization of Lamport's three-dimensional “space-time diagram” with introduced “tick lines” jul 23 '14