Reversing steps in membrane systems computations

DOI10.1007/978-3-319-73359-3_16MaRDI QIDQ1749172zbMATH OpenOpenAlexFDO

Authors G. Michele Pinna

Publication date 16 May 2018

Full work available at URL https://doi.org/10.1007/978-3-319-73359-3_16

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Reversing computation in membrane systems
• On reversibility and determinism in P systems
• On strong reversibility in P systems and related problems
• Reversible computation in Petri nets
• Simulating reversible computation with reaction systems

Cited in

(18)

• Memory associated with membranes systems
• Towards bridging time and causal reversibility
• Specifying reversibility with \(\mathrm{TLA}^+\)
• Reversible computation in nature inspired rule-based systems
• Simulating reversible computation with reaction systems
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Reversing computation in membrane systems
• Predictors for flat membrane systems
• scientific article; zbMATH DE number 7269252 (Why is no real title available?)
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• Model checking reversible systems: forwardly
• A model learning based testing approach for spiking neural P systems
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• On strong reversibility in P systems and related problems
• Branching bisimulation semantics enables noninterference analysis of reversible systems
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• Reversify any sequential algorithm
• Causal reversibility implies time reversibility

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)