Romain Demangeon Daniel Hirschkoff Davide Sangiorgi Static and dynamic typing for the termination of mobile processes. 413-427 2008 IFIP TCS http://dx.doi.org/10.1007/978-0-387-09680-3_28 conf/ifipTCS/2008 db/conf/ifipTCS/ifipTCS2008.html#DemangeonHS08