Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Computation: finite and infinite machines
Computation: finite and infinite machines
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
Reaction-driven membrane systems
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part II
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Psim: a computational platform for metabolic P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Membrane systems working in generating and accepting modes: expressiveness and encodings
CMC'10 Proceedings of the 11th international conference on Membrane computing
Arithmetical metabolic P systems
IWINAC'11 Proceedings of the 4th international conference on Interplay between natural and artificial computation - Volume Part I
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
| Hi-index | 0.00 |
A useful tool in the research on computation systems, and in particular on P systems, is the translation of a system under investigation into another one which is, in some sense, better known. Such kinds of translations were the bases of many computational universality and equivalence results in formal languages theory and in membrane computing. Here we outline a general framework for comparing systems at various descriptive levels and very different in nature.