A Formal Framework for Static (Tissue) P Systems
From MaRDI portal
Recommendations
Cites work
- A rewriting logic framework for operational semantics of membrane systems
- Computing with membranes
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 1568811 (Why is no real title available?)
- scientific article; zbMATH DE number 1860698 (Why is no real title available?)
- scientific article; zbMATH DE number 1870553 (Why is no real title available?)
- scientific article; zbMATH DE number 907955 (Why is no real title available?)
- Membrane Computing
- Membrane Computing
- Membrane Computing
- Membrane computing. An introduction.
- P systems with minimal parallelism
- PARTIAL HALTING IN P SYSTEMS
- The power of communication: P systems with symport/antiport
- Tissue P systems with channel states
Cited in
(35)- A formal framework for spiking neural P systems
- Spiking neural P systems: matrix representation and formal verification
- How derivation modes and halting conditions may influence the computational power of P systems
- Variants of derivation modes for which purely catalytic P systems are computationally complete
- Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete
- Time-freeness and clock-freeness and related concepts in P systems
- P systems with randomized right-hand sides of rules
- Rule synchronization for monodirectional tissue-like P systems with channel states
- A formal framework for clock-free networks of cells
- A formalization of membrane systems with dynamically evolving structures
- Properties of membrane systems
- Quantitative Causality in Membrane Systems
- P systems with active membranes operating under minimal parallelism
- Computing with Multi-membranes
- P systems working in maximal variants of the set derivation mode
- Kernel P systems modelling, testing and verification -- sorting case study
- Universality in Molecular and Cellular Computing
- Priorities, promoters and inhibitors in deterministic non-cooperative P systems
- Promoters and inhibitors in purely catalytic P systems
- Polymorphic P Systems with Non-cooperative Rules and No Ingredients
- Asynchronous P systems with active membranes
- Using the formal framework for P systems
- Flattening in (tissue) P systems
- (Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode
- Numerical networks of cells
- A tutorial on the formal framework for spiking neural P systems
- Variants of P systems with activation and blocking of rules
- A P systems variant for reasoning about sequential controllability of Boolean networks
- On the power of boundary rule application in membrane computing
- P versus B: P systems as a formal framework for controllability of Boolean networks
- Variants of tissue P systems with prescribed teams of channel rules
- Compositional semantics and behavioral equivalences for P systems
- Reversing computation in membrane systems
- Rule-based and object-based event structures for membrane systems
- Compositional semantics of spiking neural P systems
This page was built for publication: A Formal Framework for Static (Tissue) P Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452062)
