π-calculus, Session Types research at Imperial College
Estafet has published a page on their usage of the Scribble language developed in our group with RedHat and other industry partners.