Francesca Levi, Sergio Maffeis. On abstract interpretation of Mobile Ambients. Inf. Comput., 188(2):179-240, 2004. [doi]
@article{LeviM04, title = {On abstract interpretation of Mobile Ambients}, author = {Francesca Levi and Sergio Maffeis}, year = {2004}, doi = {10.1016/j.ic.2003.06.001}, url = {http://dx.doi.org/10.1016/j.ic.2003.06.001}, tags = {mobile}, researchr = {https://researchr.org/publication/LeviM04}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {188}, number = {2}, pages = {179-240}, }