JUCS - Journal of Universal Computer Science 5(9): 588-598, doi: 10.3217/jucs-005-09-0588
Mobile Ambients and P-Systems
expand article infoIon Petre‡, Luigia Petre§
‡ Turku Centre for Computer Science and Department of Mathematics, University of Turku, Turku, Finland§ Turku Centre for Computer Science and Department of Computer Science, Abo Akademi University, Finland

Corresponding author: Ion Petre ( ipetre@cs.utu.fi )

© Ion Petre, Luigia Petre.
This article is freely available under the J.UCS Open Content License.
Citation: Petre I, Petre L (1999) Mobile Ambients and P-Systems. JUCS - Journal of Universal Computer Science 5(9): 588-598. https://doi.org/10.3217/jucs-005-09-0588
Open Access
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
ambient calculus, P-systems, mobility, secure communications