Pages that link to "Item:Q5452062"
From MaRDI portal
The following pages link to A Formal Framework for Static (Tissue) P Systems (Q5452062):
Displaying 31 items.
- Asynchronous P systems with active membranes (Q418762) (← links)
- (Tissue) P systems working in the \(k\)-restricted minimally or maximally parallel transition mode (Q553919) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Reversing computation in membrane systems (Q974138) (← links)
- Rule-based and object-based event structures for membrane systems (Q987957) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- A formal framework for spiking neural P systems (Q1982991) (← links)
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- How derivation modes and halting conditions may influence the computational power of P systems (Q1983020) (← links)
- Variants of derivation modes for which purely catalytic P systems are computationally complete (Q2139058) (← links)
- Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete (Q2152303) (← links)
- Time-freeness and clock-freeness and related concepts in P systems (Q2285665) (← links)
- P systems with randomized right-hand sides of rules (Q2285666) (← links)
- Rule synchronization for monodirectional tissue-like P systems with channel states (Q2672272) (← links)
- A formal framework for clock-free networks of cells (Q2852131) (← links)
- A formalization of membrane systems with dynamically evolving structures (Q2852133) (← links)
- Properties of Membrane Systems (Q2890280) (← links)
- Quantitative Causality in Membrane Systems (Q2890283) (← links)
- P Systems with Active Membranes Operating under Minimal Parallelism (Q2890288) (← links)
- Computing with Multi-membranes (Q2890297) (← links)
- P Systems Working in Maximal Variants of the Set Derivation Mode (Q2975905) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- Universality in Molecular and Cellular Computing (Q3195684) (← links)
- Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems (Q3454884) (← links)
- Promoters and Inhibitors in Purely Catalytic P Systems (Q3454886) (← links)
- Polymorphic P Systems with Non-cooperative Rules and No Ingredients (Q3454896) (← links)
- Numerical networks of cells (Q6038704) (← links)
- A tutorial on the formal framework for spiking neural P systems (Q6136470) (← links)
- Variants of P systems with activation and blocking of rules (Q6150991) (← links)
- A P systems variant for reasoning about sequential controllability of Boolean networks (Q6168086) (← links)
- On the power of boundary rule application in membrane computing (Q6177185) (← links)
