Maintenance of mobile system ambients using a process calculus

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori. Maintenance of mobile system ambients using a process calculus. Computer Networks, 32(2):229-256, 2000. [doi]

@article{AndoTKS00,
  title = {Maintenance of mobile system ambients using a process calculus},
  author = {Toshihiko Ando and Kaoru Takahashi and Yasushi Kato and Norio Shiratori},
  year = {2000},
  doi = {10.1016/S1389-1286(99)00132-2},
  url = {http://dx.doi.org/10.1016/S1389-1286(99)00132-2},
  tags = {maintenance, mobile},
  researchr = {https://researchr.org/publication/AndoTKS00},
  cites = {0},
  citedby = {0},
  journal = {Computer Networks},
  volume = {32},
  number = {2},
  pages = {229-256},
}