Equational Properties Of Mobile Ambients

Andrew D. Gordon, Luca Cardelli. Equational Properties Of Mobile Ambients. Mathematical Structures in Computer Science, 13(3):371-408, 2003.

@article{GordonC03,
  title = {Equational Properties Of Mobile Ambients},
  author = {Andrew D. Gordon and Luca Cardelli},
  year = {2003},
  tags = {mobile},
  researchr = {https://researchr.org/publication/GordonC03},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {13},
  number = {3},
  pages = {371-408},
}