Mobile ambients and P-systems

Journal of Universal Computer Science

Volumn 5, Issue 9, 1999, Pages 588-598

  Petre, Ion ^a   Petre, Luigia ^b  

^a UNIVERSITY OF TURKU   (Finland)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

Ambient calculus; Mobility; P systems; Secure communications

Indexed keywords

EID: 0001691901     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. [At99] A. Atanasiu, About a class of P-systems, submitted.
2. [BeBo92] G. Berry, G. Boudol, The chemical abstract machine, Theoret. Comp. Sci. 96 (1992), 217-248.
3. [Ca99] L. Cardelli, Abstractions for mobile computation, in Secure internet programming, (J. Vitek, Ch. Jensen, eds.), LNCS 1603, 1999.
4. [CaGo98] L. Cardelli, A. Gordon, Mobile ambients, in Proceedings of FoSSaCS'98 (M. Nivat, ed.), LNCS 1378, 140-155.
5. [CaGo99] L. Cardelli, A. Gordon, Types for mobile ambients, in Proceedings of POPL'99, ACM, 79-92.
6. [CaGhGo99] L. Cardelli, G. Ghelli, A. Gordon, Mobility types for mobile ambients, in Proceedings of ICALP 1999, to appear.
7. [DaPa99] J. Dassow, Gh. Pǎun, On the power of membrane computing, J. of Universal Computer Sci., 5, 2 (1999), 33-49.
8. [Fr99] R. Freund, Generalized P-systems, Proc. of FCT'99 (G. Ciobanu, Gh. Pǎun, eds.), Lecture Notes in Computer Sience, 1684, Springer-Verlag, 1999.
9. [GoCa99] A. Gordon, L. Cardelli, Equational properties of mobile ambients, in Proceedings of FoSSaCS'99, to appear.
10. [Pa98] Gh. Pǎun, Computing with membranes, summitted. Also as Turku Centre for Computer Science Report No 208, 1998 (www.tucs.fi).
11. [Pa99a] Gh. Pǎun, Computing with membranes: a variant, submitted. Also as Auckland University, CDMTCS Report No 098, 1999 (www.cs.auckland.ac.nz/CDMTCS).
12. [Pa99b] Gh. Pǎun, Computing with membranes. An introduction, Bulletin of the EATCS, 67 (1999), 139-152.
13. [Pa99c] Gh. Pǎun, P Systems with Active Membranes: Attacking NP Complete Problems, submitted. Also as Auckland University, CDMTCS Report, 1999 (www.cs.auckland.ac.nz/CDMTCS).
14. [PaRoSa98] Gh. Pǎun, G. Rozenberg, A. Salomaa, Membrane computing with external output, submitted. Also as Turku Centre for Computer Science-TUCS Report No 218, 1998 (www.tucs.fi).
15. [PaSaYo99] Gh. Pǎun, Y. Sakakibara, T. Yokomori, P systems on graphs of restricted forms, submitted, 1999.
16. [PaYo99a] Gh. Pǎun, T. Yokomori, Membrane computing based on splicing, Preliminary Proc. of Fifth Intern. Meeting on DNA Based Computers (E. Winfree, D. Gifford, eds.), MIT, 1999, 213-217.
17. [PaYo99b] Gh. Pǎun, T. Yokomori, Simulating H systems by P systems, Journal of Universal Computer Science, 5 (1999), to appear.
18. [PaYu99] Gh. Pǎun, S. Yu, On synchronization in P systems, Fundamenta Informaticae, 38, 4 (1999), 397-410.
19. [Pe99] I. Petre, A normal form for P systems, Bulletin of the EATCS, 67 (1999), 165-172.