Michele Bugliesi, Giuseppe Castagna, Silvia Crafa. Subtyping and Matching for Mobile Objects. In Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi, editors, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings. Volume 2202 of Lecture Notes in Computer Science, pages 235-255, Springer, 2001. [doi]
Abstract is missing.