@inproceedings{guan:towards-tree,
  author =	 {Xudong Guan},
  title =	 {Towards a tree of channels},
  booktitle =	 {Electronic Notes in Theoretical Computer Science},
  volume =	 {85},
  issue =	 {1},
  publisher =	 {Elsevier},
  editor =	 {Vladimiro Sassone},
  year =	 {2003}
}

@phdthesis{guan:thesis,
  author =	 {Xudong Guan},
  title =	 {Type system and algebraic theory of robust ambients},
  school =	 {Department of Computer Science and Engineering,
                  Shanghai Jiao Tong Univ.},
  year =	 {2002},
  type =	 {{PhD} thesis},
  note =	 {in Chinese. Part of it is summarized in English,
                  available at:
                  http://www-sop.inria.fr/mimosa/personnel/Xudong.Guan
                  }
}

@article{guan.yang.ea:typing-evolving,
  author =	 {Xudong Guan and Yiling Yang and Jinyuan You},
  title =	 {Typing evolving ambients},
  journal =	 {Inf. Process. Lett.},
  volume =	 {80},
  number =	 {5},
  year =	 {2001},
  issn =	 {0020-0190},
  pages =	 {265--270},
  doi =		 {http://dx.doi.org/10.1016/S0020-0190(01)00172-7},
  publisher =	 {Elsevier North-Holland, Inc.}
}

@inproceedings{guan.yang.ea:making-ambients,
  author =	 {Xudong Guan and Yiling Yang and Jinyuan You},
  booktitle =	 {Proc.\ ICS2000},
  title =	 {Making ambients more robust},
  pages =	 {377--384},
  location =	 {Beijing, China},
  year =	 {2000}
}