Abstract: On the basis of the abstract representation of the process of Mobile Safe Ambients, an approximation of the topology of all dynamic processes is computed by exploring the activated movement abilities and communication abilities. Otherwise, the control flow estimate makes no difference among processes which are congruent under α conversion by labeling restricted names and variables with stable names in the syntax of Mobile Safe Ambients. The schema can be exploited to investigate and validate the dynamic behavior and properties of the distributed and mobile systems specified in Mobile Safe Ambients.

Key words: Mobile Safe Ambients calculus, control flow analysis, static analysis