A general-purpose process calculus with support for arbitrary data - View it on GitHub