Vasco Thudichum Vasconcelos Fundamentals of Session Types. 158-186 2009 SFM http://dx.doi.org/10.1007/978-3-642-01918-0_4 conf/sfm/2009 db/conf/sfm/sfm2009.html#Vasconcelos09