On the expressive power of movement and restriction in pure mobile ambients

@article{Busi2004OnTE,
  title={On the expressive power of movement and restriction in pure mobile ambients},
  author={Nadia Busi and Gianluigi Zavattaro},
  journal={Theor. Comput. Sci.},
  year={2004},
  volume={322},
  pages={477-515}
}