Mobile Ambients and P-Systems

Ion Petre (Turku Centre for Computer Science and Department of Mathematics, University of Turku, Finland)

Luigia Petre (Turku Centre for Computer Science and Department of Computer Science, Abo Akademi University, Finland)

Abstract: The ambient calculus and the P-systems are models developed in different areas of computer science. Still, they are based on similar concepts and structures and are inspired from the same natural model of computation [BeBo92]. On this basis, we point out how to transfer ideas and results from one framework to the other. We prove that any P-system can be simulated in ambient calculus. We also introduce the notion of mobile P-systems, suitable to model and motivate security features for membrane computing.

Keywords: P-systems, ambient calculus, mobility, secure communications