Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

SAS
1999
Springer

favoriteEmaildiscussreport

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

13 years 9 months ago

Abstract Interpretation of Mobile Ambients

Download www-i2.informatik.rwth-aachen.de

René Rydhof Hansen, Jacob Grydholt Jensen,

Real-time Traffic

Formal Methods | SAS 1999 |

claim paper

Related Content

» Context Dependent Analysis of BioAmbients

» Ambient Groups and Mobility Types

» An Asynchronous Distributed Implementation of Mobile Ambients

» Reasoning about Security in Mobile Ambients

» A Correct Abstract Machine for Safe Ambients

» Ambient Intelligence Visions and Achievements Linking Abstract Ideas to RealWorld Concepts

» A Parametric Model for the Analysis of Mobile Ambients

» The BehaviorScope framework for enabling ambient assisted living

» Developing Ambient Intelligence Systems A Solution based on Web Services

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	SAS
Authors	René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson

Comments (0)