Lucia Acciai Chiara Bodei Michele Boreale Roberto Bruni Hugo Torres Vieira Static Analysis Techniques for Session-Oriented Calculi. 214-231 2011 Results of the SENSORIA Project http://dx.doi.org/10.1007/978-3-642-20401-2_10 books/sp/sensoria11 db/books/collections/sensoria2011.html#AcciaiBBBV11