Acciai, et al.. Static Analysis Techniques for Session-oriented Calculi. Springer Berlin Heidelberg, 2011, doi:10.1007/978-3-642-20401-2_10.