Pages that link to "Item:Q2852133"
From MaRDI portal
The following pages link to A formalization of membrane systems with dynamically evolving structures (Q2852133):
Displaying 16 items.
- On the verification of membrane systems with dynamic structure (Q609035) (← links)
- Cycles and communicating classes in membrane systems and molecular dynamics (Q872209) (← links)
- Multiset patterns and their application to dynamic causalities in membrane systems (Q1749155) (← links)
- A formal framework for spiking neural P systems (Q1982991) (← links)
- Simulation challenges in membrane computing (Q1982994) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer $$\omega $$-Languages (Q2945564) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- Membrane Systems with Qualitative Evolution Rules (Q3100938) (← links)
- Expressing Control Mechanisms of Membranes by Rewriting Strategies (Q3591032) (← links)
- Formalizing Spherical Membrane Structures and Membrane Proteins Populations (Q3591033) (← links)
- Events, Causality, and Concurrency in Membrane Systems (Q5452058) (← links)
- On Flip-Flop Membrane Systems with Proteins (Q5452068) (← links)
- Numerical networks of cells (Q6038704) (← links)
- A tutorial on the formal framework for spiking neural P systems (Q6136470) (← links)
- Dynamic Reconfiguration via Typed Modalities (Q6488473) (← links)