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

DOI10.1007/s00236-017-0296-3zbMath1390.68301OpenAlexW2598582883MaRDI QIDQ1745347

Francesca Levi, Roberto Barbuti, Paolo Milazzo, Roberta Gori

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

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

Related Items (12)

Predictors for flat membrane systems ⋮ Characterization and computation of ancestors in reaction systems ⋮ Evolvability of reaction systems and the invisibility theorem ⋮ Computing preimages and ancestors in reaction systems ⋮ Plug-in context providers for reaction systems ⋮ A formal approach to open multiparty interactions ⋮ Mutual exclusion and reversibility in reaction systems ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks ⋮ Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation ⋮ Asynchrony and persistence in reaction systems ⋮ Reaction systems with influence on environment ⋮ From networks of reaction systems to communicating reaction systems and back

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Investigating dynamic causalities in reaction systems
• An analysis for causal properties of membrane interactions
• Abstract interpretation based verification of temporal properties for BioAmbients
• Computing with membranes
• Membrane computing. An introduction.
• Causal static analysis for brane calculi
• A TOUR OF REACTION SYSTEMS
• Logic Design of Programmable Logic Arrays
• Irredundant Normal Forms and Minimal Dependence Sets of a Boolean Function
• Specialized Predictor for Reaction Systems with Context Properties

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