Characterization and computation of ancestors in reaction systems

DOI10.1007/S00500-020-05300-0MaRDI QIDQ2157013zbMATH OpenOpenAlexFDO

Authors Roberto Barbuti, A. Bernasconi, Roberta Gori, Paolo Milazzo

Publication date 21 July 2022

Published in Soft Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00500-020-05300-0

zbMATH Keywords

computational complexityreaction systemscausality relationsancestor computation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Computing preimages and ancestors in reaction systems
• Preimage problems for reaction systems
• Ancestors, descendants, and gardens of Eden in reaction systems
• Complexity of the dynamics of reaction systems
• On the complexity of occurrence and convergence problems in reaction systems

Cites work

• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• A tour of reaction systems
• Abstract interpretation based verification of temporal properties for BioAmbients
• An analysis for causal properties of membrane interactions
• Ancestors, descendants, and gardens of Eden in reaction systems
• Causal static analysis for brane calculi
• Causality in Membrane Systems
• Computing preimages and ancestors in reaction systems
• Fixed points and attractors of reaction systems
• Functional constructions between reaction systems and propositional logic
• Generalized contexts for reaction systems: definition and study of dynamic causalities
• Investigating dynamic causalities in reaction systems
• Minimal and almost minimal reaction systems
• Multiset patterns and their application to dynamic causalities in membrane systems
• Predictors for flat membrane systems
• Preimage problems for reaction systems
• Reaction systems
• Specialized predictor for reaction systems with context properties
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(3)

• Computing preimages and ancestors in reaction systems
• Preimage problems for reaction systems
• Ancestors, descendants, and gardens of Eden in reaction systems

This page was built for publication: Characterization and computation of ancestors in reaction systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2157013)