Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Static and dynamic typing for the termination of mobile processes. In Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong, editors, Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy. Volume 273 of IFIP, pages 413-427, Springer, 2008. [doi]
Abstract is missing.