Tree Process Calculus. - Mingren Chai; Nan Qu; Ying Jiang (FICS, 2008)