Pages that link to "Item:Q1749172"
From MaRDI portal
The following pages link to Reversing steps in membrane systems computations (Q1749172):
Displaying 16 items.
- Reversing computation in membrane systems (Q974138) (← links)
- Predictors for flat membrane systems (Q1643137) (← links)
- Simulating reversible computation with reaction systems (Q1982972) (← links)
- Reversible computation in nature inspired rule-based systems (Q1982978) (← links)
- Memory associated with membranes systems (Q1983012) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- A model learning based testing approach for spiking neural P systems (Q2672640) (← links)
- Expressing Control Mechanisms of Membranes by Rewriting Strategies (Q3591032) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5129948) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
- Model checking reversible systems: forwardly (Q6637601) (← links)