From Mobile ambients to P-systems and back (bibtex)
by Petre, Ion and Petre, Luigia
Abstract:
The mobile ambients and the P-systems are models developed in different areas of computer science, based on similar concepts and structures. On this basis, we point out how to transfer ideas and results from one framework to the other. Along this line, we prove that any P-system can be simulated in ambient calculus. We also introduce the mobile P-systems, well suited to model security features for membrane computing.
Reference:
From Mobile ambients to P-systems and back (Petre, Ion and Petre, Luigia), In Workshop on Formal Languages and Automata, FCT 1999, 1999.
Bibtex Entry:
@InProceedings{inp21,
  author    = {Petre, Ion AND Petre, Luigia},
  title     = {From Mobile ambients to P-systems and back},
  booktitle = {Workshop on Formal Languages and Automata, FCT 1999},
  year      = {1999},
  abstract  = {The mobile ambients and the P-systems are models developed in different areas of computer science, based on similar concepts and structures. On this basis, we point out how to transfer ideas and results from one framework to the other. Along this line, we prove that any P-system can be simulated in ambient calculus. We also introduce the mobile P-systems, well suited to model security features for membrane computing.},
  keywords  = {Mobile ambients, Ambient calculus, P-systems, Secure communications.},
  pdf       = {pdfs/PP1999b.pdf},
}
Powered by bibtexbrowser