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)
5 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
4 Minimum spanning tree and its connected subgraph dec 11 '13