See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/220130985 Abstract interpretation of mobile ambients Article in Science of Computer Programming · May 2003 DOI: 10.1016/S0167-6423(02)00131-4 · Source: DBLP CITATIONS 71 READS 16 3 authors, including: René Rydhof Hansen Aalborg University 69 PUBLICATIONS 728 CITATIONS SEE PROFILE All content following this page was uploaded by René Rydhof Hansen on 07 August 2014. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.