Abstract interpretation of mobile ambients

@article{Nielson2003AbstractIO,
  title={Abstract interpretation of mobile ambients},
  author={Flemming Nielson and Ren{\'e} Rydhof Hansen and Hanne Riis Nielson},
  journal={Sci. Comput. Program.},
  year={2003},
  volume={47},
  pages={145-175}
}
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 52 extracted citations

Similar Papers

Loading similar papers…