On the relationship between membranes and ambients.
We establish a relationship between two formalisms used in describing biological systems. We translate some notions from the ambient calculus into the formalism of membrane systems. Thus we consider the exhibit of an ambient, its level, the structural congruence, and the contextual bisimulation in order to define and study in membrane systems the corresponding observation barbs, the depths of a membrane system, the structural congruence and the contextual bisimulation. We describe the sodium-potassium exchange pump in both membrane systems and safe ambients. We also compare the direct description of the pump using the membrane systems with the description obtained through the translation from safe ambients.
Ciobanu
Gabriel
G
A.I. Cuza University, Faculty of Computer Science, Blvd. Carol I no. 11, 700506 Iaşi, Romania. gabriel@info.uaic.ro
Aman
Bogdan
B
D000465:Algorithms; D000818:Animals; D002462:Cell Membrane / Q000502:physiology*; D003198:Computer Simulation; D005786:Gene Expression Regulation / Q000502:physiology*; D006801:Humans; D008954:Models, Biological; D020543:Proteome / Q000378:metabolism*; D015398:Signal Transduction / Q000502:physiology*; D012984:Software; D049490:Systems Biology / Q000379:methods
D020543:Proteome