On the reachability problem in P systems with mobile membranes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4860 LNCS, Issue , 2007, Pages 113-123

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

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; PROBLEM SOLVING;

MOBILE MEMBRANES; REACHABILITY PROBLEMS;

BIOLOGICAL MEMBRANES;

EID: 38549084060     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77312-2_7     Document Type: Conference Paper

References (10)

1. Boneva, L, Talbot, J.-M.: When Ambients Cannot be Opened. In: Gordon, A.D. (ed.) ETAPS 2003 and FOSSACS 2003. LNCS, vol. 2620, pp. 169-184. Springer, Heidelberg (2003)
2. Busi, N., Zavattaro, G.: Deciding Reachability in Mobile Ambients. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 248-262. Springer, Heidelberg (2005)
3. Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, pp. 140-155. Springer, Heidelberg (1998)
4. Ciobanu, G.: Distributed Algorithms over Communicating Membrane Systems. BioSystems 70, 123-133 (2003)
5. Delzanno, G., Van Begin, L.: On the Dynamics of PB Systems with Volatile Membranes. In: Eleftherakis, G., Kefalas, P., Pǎun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007, vol. 4860, pp. 240-256. Springer, Heidelberg (2007)
6. Krishna, S.N., Pǎun, G.: P Systems with Mobile Membranes. Natural Computing 4(3), 255-274 (2005)
7. Mayr, E.W.: An Algorithm for the General Petri Net Reachability Problem. SIAM Journal of Computing 13(3), 441-460 (1984)
8. Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)
9. Pǎun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108-143 (2000)
10. Pǎun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)