Membrane Computing: An Introduction
Membrane Computing: An Introduction
Using Ambients to Control Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Mobile Ambients and P-Systems
Describing the Immune System Using Enhanced Mobile Membranes
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
On the expressiveness of the π-calculus and the mobile ambients
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Formal verification and testing based on p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
| Hi-index | 0.00 |
We present a translation of the mobile ambients without communication and replication into P systems with mobile membranes. We introduce a set of developmental rules over membranes, and describe the correspondence between the behaviour of an ambient and the evolution of its translated membrane system. We give an operational correspondence result between the mobile ambients and P systems.