René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson. Abstract Interpretation of Mobile Ambients. In Agostino Cortesi, Gilberto Filé, editors, Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings. Volume 1694 of Lecture Notes in Computer Science, pages 134-148, Springer, 1999. [doi]
Abstract is missing.