Abstract: We gave a frame structure of Cardelli and Gordon’s Mobile Ambients, a process calculus for modelling mobile agents in widearea networks. We presented the concept,definition of Ambient calculus frame, proposed the construction method and transformation functions and developed a code running operating semantics based on the frame structure. The frame is in an attempt to provide languages support for asynchronou, distributed, and mobile programming.

Key words: Ambient calculus, mobile computation, process calculus, concurrency, communication