Reversing steps in membrane systems computations
From MaRDI portal
Recommendations
Cited in
(22)- Predictors for flat membrane systems
- Simulating reversible computation with reaction systems
- Reversible computation in nature inspired rule-based systems
- Memory associated with membranes systems
- Specifying reversibility with \(\mathrm{TLA}^+\)
- A model learning based testing approach for spiking neural P systems
- On strong reversibility in P systems and related problems
- Expressing Control Mechanisms of Membranes by Rewriting Strategies
- Towards bridging time and causal reversibility
- Reversify any sequential algorithm
- Reversing place transition nets
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
- Branching bisimulation semantics enables noninterference analysis of reversible systems
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Causal reversibility implies time reversibility
- Model checking reversible systems: forwardly
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
- Reversibility in process calculi with nondeterminism and probabilities
- Noninterference analysis of reversible systems: an approach based on branching bisimilarity
- Reversing computation in membrane systems
This page was built for publication: Reversing steps in membrane systems computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749172)
