Characterization and computation of ancestors in reaction systems
From MaRDI portal
Publication:2157013
DOI10.1007/s00500-020-05300-0zbMath1491.68070OpenAlexW3083336376MaRDI QIDQ2157013
Anna Bernasconi, Roberto Barbuti, Roberta Gori, Paolo Milazzo
Publication date: 21 July 2022
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-020-05300-0
Analysis of algorithms and problem complexity (68Q25) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cites Work
- Unnamed Item
- Unnamed Item
- Investigating dynamic causalities in reaction systems
- Minimal and almost minimal reaction systems
- An analysis for causal properties of membrane interactions
- Ancestors, descendants, and gardens of Eden in reaction systems
- Abstract interpretation based verification of temporal properties for BioAmbients
- Predictors for flat membrane systems
- Generalized contexts for reaction systems: definition and study of dynamic causalities
- Multiset patterns and their application to dynamic causalities in membrane systems
- Causal static analysis for brane calculi
- Preimage Problems for Reaction Systems
- FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
- A TOUR OF REACTION SYSTEMS
- Specialized Predictor for Reaction Systems with Context Properties
- Fixed Points and Attractors of Reaction Systems
- Systematic design of program transformation frameworks by abstract interpretation
- Causality in Membrane Systems
- Computing preimages and ancestors in reaction systems
This page was built for publication: Characterization and computation of ancestors in reaction systems
