Journal of Computer and System Sciences
Handbook of Formal Languages
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Membrane Computing: An Introduction
Membrane Computing: An Introduction
The power of communication: P systems with symport/antiport
New Generation Computing
P Systems with Activated/Prohibited Membrane Channels
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Evolution-Communication P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Results on catalytic and evolution-communication P systems
New Generation Computing - Membrane computing
P systems with conditional communication rules assigned to membranes
Journal of Automata, Languages and Combinatorics
Theoretical Computer Science
P systems without multiplicities of symbol-objects
Information Processing Letters
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
Producer/Consumer in Membrane Systems and Petri Nets
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
A Biologically Inspired Model with Fusion and Clonation of Membranes
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions
Fundamenta Informaticae - Machines, Computations and Universality, Part I
On three classes of automata-like P systems
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Partial halting in P systems using membrane rules with permitting contexts
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
On the dynamics of PB systems with volatile membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
On the verification of membrane systems with dynamic structure
Natural Computing: an international journal
MP systems approaches to biochemical dynamics: biological rhythms and oscillations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards probabilistic model checking on p systems using PRISM
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P systems, a new computational modelling tool for systems biology
Transactions on Computational Systems Biology VI
A p system description of the sodium-potassium pump
WMC'04 Proceedings of the 5th international conference on Membrane Computing
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A region-oriented hardware implementation for membrane computing applications
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions
Fundamenta Informaticae - Machines, Computations and Universality, Part I
P systems with adjoining controlled communication rules
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
| Hi-index | 0.00 |
We propose a new variant of P Systems, based on boundary rules, shortlycalled PB Systems. Boundary rules means that rules are not internal to regions but theyare able to "see" even externally, that is, theyare sensible to what happens around the border of the membranes. We prove the computational universalityfor PB systems with three membranes which sense at most one symbol outside and one symbol inside a membrane. Finally, we investigate the relationships with the basic model of P systems by proving an equivalence between P systems without priority, thickness or dissolution operator, and PB systems that use communication rules of a restricted form.