I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.
5 Emulations of atomic registers and read-modify-write (RMW) primitives in message-passing systems sep 16
5 How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem? jan 1 '13
4 Visualization of Lamport's three-dimensional “space-time diagram” with introduced “tick lines” jul 23
4 How to prove the NP-completeness of the ``Exact-3D-Matching`` problem by reducing the ``3-Partition`` problem to it? dec 18 '13
4 Minimum spanning tree and its connected subgraph dec 11 '13