On state sequences defined by reaction systems

DOI10.1007/978-3-642-29485-3_17MaRDI QIDQ2897958zbMATH OpenOpenAlexFDO

Authors Arto Salomaa

Publication date 16 July 2012

Published in Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29485-3_17

zbMATH Keywords

inhibitorreactantreaction systeminteractive processstate sequence

Mathematics Subject Classification ID

Recommendations

• Functions and sequences generated by reaction systems
• A tour of reaction systems
• Minimal reaction systems: duration and blips
• Reaction systems with duration
• Functions defined by reaction systems

Cited in

(19)

• Extracting reaction systems from function behavior
• Theory of reaction automata: a survey
• Functional equivalence and a cover relation for reaction systems
• Minimal reaction systems defining subset functions
• Minimal and almost minimal reaction systems
• Evolving reaction systems
• Minimal reaction systems: duration and blips
• Graph transformation through graph surfing in reaction systems
• Controllability of reaction systems
• Model checking temporal properties of reaction systems
• Reaction systems with duration
• Functions and sequences generated by reaction systems
• Reaction systems with influence on environment
• Reaction Systems, Transition Systems, and Equivalences
• Certain state sequences defined by P systems with reactions
• Comparing reactions in reaction systems
• Applications of the Chinese remainder theorem to reaction systems with duration
• Irreducible reaction systems and reaction system rank
• Towards quantitative verification of reaction systems

This page was built for publication: On state sequences defined by reaction systems

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