New papers about the rho-calculus - View it on GitHub