Advertisement

Simulation of Mobile Ambients by P Systems. Part 1

  • Vladimir Rogozhin
  • Elena Boian
Conference paper
  • 273 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2933)

Abstract

Ambient calculus is an abstract model of the basic features of distribution and mobility of the computing and computation. The central notion of ambient calculus is that of a mobile ambient, which is a bounded place where a computation happens. It was shown that a P system with symbol-objects with membrane dissolution can be expressed in ambient calculus. We want to do here the converse work: to express ambient calculus in membrane computing. In this paper we present the first part of this work: we show that the Ethernet Network (local electronic computer network) can be expressed in terms of P systems with symbol-objects.

Keywords

Network Node Application Rule Procedure Count Network Address Communication Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arroyo, F., Baranda, A.V., Castellanos, J., Păun, G.: Membrane Computing: The Power of (Rule) Creation. Journal of Universal Computer Science 8(3), 369–381 (2002)Google Scholar
  2. 2.
    Bottoni, P., Martín-Vide, C., Păun, G., Rozenberg, G.: Membrane Systems with Promoters/Inhibitors. Acta Informatica 38(10), 695–720 (2002)zbMATHMathSciNetCrossRefGoogle Scholar
  3. 3.
    Cardelli, L.: Mobile Computational Ambients, http://www.luca.demon.co.uk/Ambit/Ambit.html
  4. 4.
    Cardelli, L., Gordon, A.G.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  5. 5.
    Ciobanu, G., Desai, R., Kumar, A.: Membrane Systems and Distributed Computing. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 187–202. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Dassow, J., Păun, G.: Concentration Controlled P Systems. Acta Cybernetica 15(1), 9–24 (2001)zbMATHMathSciNetGoogle Scholar
  7. 7.
  8. 8.
    Ionescu, M., Martín-Vide, C., Păun, A., Păun, G.: Membrane Systems with Symport/Antiport: (Unexpected) Universality Results. In: Hagiya, M., Ohuchi, A. (eds.) Proc. 8th Int. Meeting on DNA Based Computers, Sapporo, Japan, pp. 151–160 (2002)Google Scholar
  9. 9.
    Păun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)zbMATHMathSciNetCrossRefGoogle Scholar
  10. 10.
    Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)zbMATHGoogle Scholar
  11. 11.
    Petre, I., Petre, L.: Mobile Ambients and P Systems. Journal of Universal Computer Science 5(9), 588–598 (1999)zbMATHMathSciNetGoogle Scholar
  12. 12.
    Rogozhin, V., Boian, E.: Simulation of Mobile Ambients by P Systems. In: Alhazov, A., Martin-Vide, C., Păun, G. (eds.) Part 1, Preproceedings of Workshop on Membrane Computing, WMC 2003, Report 28/03 of GRLMC, pp. 404–427. Rovira i Virgili University, Tarragona (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Vladimir Rogozhin
    • 1
  • Elena Boian
    • 2
  1. 1.The State University of MoldovaChişinăuMoldova
  2. 2.Institute of Mathematics and Computer ScienceAcademy of Sciences of MoldovaChişinăuMoldova

Personalised recommendations