Abstract: Ambient logic presented a schematic spatial logic for specifying and reasoning about spatial properties of reduced space of ambient processes. However, in some scenarios, spatial properties of processes should be specified and analyzed in fine-grained. Do

Key words: Mobile ambients, Dormant process, Spatial logic