Toshihiko Ando Kaoru Takahashi Yasushi Kato Norio Shiratori Maintenance of mobile system ambients using a process calculus. 229-256 2000 32 Computer Networks 2 db/journals/cn/cn32.html#AndoTKS00 http://dx.doi.org/10.1016/S1389-1286(99)00132-2