Hierarchical automata and P-systems

Electronic Notes in Theoretical Computer Science

Volumn 78, Issue , 2003, Pages 5-19

  Sabadini, N ^a   Walters, R F C ^a  

^a UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL LOGIC; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS;

COMPOSITIONAL THEORY; HIERARCHICAL AUTOMATON; LOCAL TRANSITIONS; P-SYSTEMS;

AUTOMATA THEORY;

EID: 14544284366     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81003-X     Document Type: Conference Paper

References (12)

1. Besozzi Daniela, Claudio Zandron, Giancarlo Mauri, and Nicoletta Sabadini P System with Gemmation of Mobile Membrances, Proceedings ICTCS 2000, Lecture Notes in Computer Science, Springer Verlag, 2202, (2001), 136-153.
2. Cardelli L., and A. Gordon, Monile ambients, in Proceedings of FOSSaCS'98 (M. Nivat, ed), Lecture Notes in Copmputer Science, Springer Verlag, 1378 (1998)
3. Csuhaj-Varjú Erzseébet, and györgy Vaszil, P automata, Preprint.
4. David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 8:(3):1987;231-274
5. Katis, N. Sabadini, and R.F.C. Walters, Span (Graph); A categorical algebra of transition systems, Proceedings Algebraic Methodology and Software Technology, Lecture Notes in computer Science, Springer Verlag, 1349 1997, 307-321.
6. Katis P., Sabadini N., Walters R.F.C. On the algebra of systems with feedback and boundary. Rendiconti del Circolo Matematico di Palermo Serie II, Suppl. 63:2000;123-156
7. Katis P., Sabadini, R.F.C. Walters, An algebra of automata for reconfiguring networks of interacting components, Poster at CT, 2000.
8. Katis P., N. Sabadini, and R.F.C: Walters; A formalization of the IWIM Model. in: Proc. COORDINATION 2000, (Eds.) Portyo A., Roman G.-C., Lecture Notes in Computer Science, Springer Verlag, 1906 (2000), 267-283.
9. Pǎun Gh. Computing with membranes. Journal of Computer and System Science. 61:(1):2000;108-143
10. Pǎum Gh. Computing wit membranes A variant: P systems with polarized membranes. Intern.J. of Foundations of Computer Science. 11:(1):2000;167-182
11. Pǎun Gh., Rozenberg G., Salomaa A. Membrane computing with external output. Fundamental Informaticae. 41:(3):2000;259-266
12. Petre I., Petre L. Mobile ambients and P systems. Workshop on Formal Languages, FCT99, Iasi, 1999, J. Universal Computer Sci. 5:(9):1999;588-598