📩 推荐给朋友

向朋友推荐 Occam-pi and KRoC: Blending CSP and the Pi-calculus