Introducing time in reaction systems

DOI10.1016/j.tcs.2008.09.043zbMath1156.93306OpenAlexW1992112582MaRDI QIDQ1004076

Andrzej Ehrenfeucht, Grzegorz Rozenberg

Publication date: 2 March 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.09.043

zbMATH Keywords

biochemical reactionsnatural computingreaction systemsreaction timetiming states

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40)

Related Items (34)

Investigating dynamic causalities in reaction systems ⋮ Representing Reaction Systems by Trees ⋮ Relevance of Entities in Reaction Systems ⋮ Towards “Fypercomputations” (in Membrane Computing) ⋮ A TOUR OF REACTION SYSTEMS ⋮ On the complexity of occurrence and convergence problems in reaction systems ⋮ A Formal Framework for Processes Inspired by the Functioning of Living Cells ⋮ ZOOM STRUCTURES AND REACTION SYSTEMS YIELD EXPLORATION SYSTEMS ⋮ Steady states of constrained reaction systems ⋮ Rough sets: past, present, and future ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ On probabilistic and quantum reaction systems ⋮ Reaction automata ⋮ Towards bridging two cell-inspired models: P systems and R systems ⋮ Reaction Systems, Transition Systems, and Equivalences ⋮ Unnamed Item ⋮ Facilitation in reaction systems ⋮ Simulation of reaction systems by the strictly minimal ones ⋮ Mutual exclusion and reversibility in reaction systems ⋮ Theory of reaction automata: a survey ⋮ Reaction Systems with Duration ⋮ RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS ⋮ Model checking temporal properties of reaction systems ⋮ COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS ⋮ Graph transformation through graph surfing in reaction systems ⋮ An excursion in reaction systems: from computer science to biology ⋮ On the properties of language classes defined by bounded reaction automata ⋮ FUNCTIONS DEFINED BY REACTION SYSTEMS ⋮ Comparing reactions in reaction systems ⋮ A categorial approach to reaction systems: first steps ⋮ Towards Quantitative Verification of Reaction Systems ⋮ From networks of reaction systems to communicating reaction systems and back ⋮ On the computational complexity of reaction systems, revisited ⋮ Transformations of reaction systems over categories by means of epi-mono factorization and functors

Cites Work

• Events and modules in reaction systems
• Developments in Language Theory
• Unnamed Item
• Unnamed Item

This page was built for publication: Introducing time in reaction systems