On the relationship between membranes and ambients

BioSystems

Volumn 91, Issue 3, 2008, Pages 515-530

  Ciobanu, Gabriel ^a,b   Aman, Bogdan ^b  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

Author keywords

Mobile ambients; Mobile membranes; Operational correspondence

Indexed keywords

ADENOSINE TRIPHOSPHATASE (POTASSIUM SODIUM);

COMPARATIVE STUDY; POTASSIUM; SODIUM;

ARTICLE; COMPARATIVE STUDY; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; MEMBRANE STRUCTURE; SIMULATION;

EID: 38949134136     PISSN: 03032647     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.biosystems.2007.01.006     Document Type: Article

References (24)

1. Aman B., and Ciobanu G. Translating mobile ambients into P systems. Workshop on Membrane Computing and Biologically Inspired Process Calculi (2006) 13-29
2. Aman, B., Ciobanu, G., 2007. Translating safe ambients into mobile membranes. FML Technical Report. http://iit.iit.tuiasi.ro/TR/.
3. Andrei O., Ciobanu G., and Lucanu D. Structural operational semantics of P systems. Workshop on Membrane Computing 6, Lecture Notes in Computer Science, vol. 3850 (2006), Springer 32-49
4. Besozzi D., and Ciobanu G. A P system description of the sodium-potassium pump. Workshop on Membrane Computing, Lecture Notes in Computer Science, vol. 3365 (2005), Springer 211-223
5. 2|n ≥ 1}. In: Fourth Brainstorming Week on Membrane Computing, vol. I. Fénix Editora, pp. 81-97.
6. Cardelli L., and Calculi B. Computational methods in systems biology. Lect. Notes Bioinform. 3082 (2005) 257-278
7. Cardelli L., and Gordon A. Mobile ambients. Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science, vol. 1378 (1998), Springer 140-155
8. Cardelli L., and Pǎun Gh. An universality result for a mem(brane) calculus based on mate/drip operations. Cellular Computing (Complexity Aspects) (2005), Fénix Editora pp. 75-94
9. Cardelli L., and Pradalier S. Where membranes meet complexes. BioConcur (2005)
10. Cavaliere M., and Leupold P. Evolution and observation-a newway to look at membrane systems. Workshop on Membrane Computing 3, Lecture Notes in Computer Science, vol. 2933 (2004), Springer 70-87
11. Ciobanu G., Ciubotariu V., and Tanasǎ B. A pi-calculus model of the Na pump. Genome Informatics (2002), Universal Academy Press, Tokyo pp. 469-472
12. Ciobanu G., Pǎun Gh., and Pérez-Jiménez M.J. Application of Membrane Computing (2006), Springer
13. Danos V., and Laneve C. Core formal molecular biology. ESOP, Lecture Notes in Computer Science, vol. 2618 (2003), Springer 302-318
14. Glitsch H.G. Electrophysiology of the sodium-potassium-ATPase in cardiac cells. Physiol. Rev. 81 4 (2001) 1791-1826
15. Glynn I.M. A hundred years of sodium pumping. Annu. Rev. Physiol. 64 (2002) 1-18
16. Krishna S.N. On the efficiency of a variant of p systems with mobile membranes. Cellular Computing (Complexity Aspects) (2005), Fénix Editora pp. 237-246
17. Krishna S.N., and Pǎun G. P systems with mobile membranes. Nat. Comput. 4 3 (2005) 255-274
18. Laneve C., and Tarissan F. A simple calculus for proteins and cells. Workshop on Membrane Computing and Biologically Inspired Process Calculi (2006) 147-163
19. Levi F., and Sangiorgi D. Controlling interference for ambients. POPL'00 (2000), ACM Press pp. 142-154
20. Levi F., and Sangiorgi D. Mobile safe ambients. ACM TOPLAS 25 (2003) 1-69
21. Merro M., and Nardelli F.Z. Behavioural theory for mobile ambients. J. ACM 52 6 (2005) 961-1023
22. Pǎun Gh. Computing with membranes. J. Comput. Syst. Sci. 61 1 (2000) 108-143
23. Pǎun Gh. Membrane Computing. An Introduction (2002), Springer
24. Teller D., Zimmer P., and Hirschkoff D. Using ambients to control resources. Proceedings of the CONCUR'02, Lecture Notes in Computer Science, vol. 2421 (2002), Springer 288-303