Topology in Process Calculus by Mingsheng Ying