π-calculus, Session Types research at the University of Oxford
Pabble is a parametric extension of Scribble primarily designed for describing communication protocols in parallel computing.