Lockres.zip is a  link to the last version of the typing algorithm, 
which resolves some form of deadlock in pi calculus programs. 

The previous version of the algorithm is contained in type-algv12.zip, which also
contains a gentle introduction to session types and function patterns.