A collection of papers about new models and applications of mobile process calculi - View it on GitHub