Generalized contexts for reaction systems: definition and study of dynamic causalities

DOI10.1007/S00236-017-0296-3MaRDI QIDQ1745347zbMATH OpenOpenAlexFDO

Authors Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo

Publication date 17 April 2018

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11568/851718

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Investigating dynamic causalities in reaction systems
• Specialized predictor for reaction systems with context properties
• Reaction systems
• Networks of reaction systems
• Evolving reaction systems

Cites work

• scientific article; zbMATH DE number 49082 (Why is no real title available?)
• scientific article; zbMATH DE number 3352742 (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
• Causal static analysis for brane calculi
• Computing with membranes
• Fundamentals of natural computing. Basic concepts, algorithms, and applications.
• Investigating dynamic causalities in reaction systems
• Irredundant Normal Forms and Minimal Dependence Sets of a Boolean Function
• Logic Design of Programmable Logic Arrays
• Membrane computing. An introduction.
• Reaction systems
• Specialized predictor for reaction systems with context properties

Cited in

(16)

• A formal approach to open multiparty interactions
• Investigating dynamic causalities in reaction systems
• From networks of reaction systems to communicating reaction systems and back
• Plug-in context providers for reaction systems
• Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation
• Mutual exclusion and reversibility in reaction systems
• Predictors for flat membrane systems
• Reaction systems with influence on environment
• Specialized predictor for reaction systems with context properties
• Characterization and computation of ancestors in reaction systems
• Studying opacity of reaction systems through formula based predictors
• Asynchrony and persistence in reaction systems
• Networks of reaction systems
• Evolvability of reaction systems and the invisibility theorem
• Computing preimages and ancestors in reaction systems
• Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks

This page was built for publication: Generalized contexts for reaction systems: definition and study of dynamic causalities

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