A TOUR OF REACTION SYSTEMS
From MaRDI portal
Publication:2909091
DOI10.1142/S0129054111008842zbMath1252.68115OpenAlexW2132059948MaRDI QIDQ2909091
Andrzej Ehrenfeucht, Robert Brijder, Michael G. Main, Grzegorz Rozenberg
Publication date: 29 August 2012
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054111008842
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (56)
Complexity of model checking for reaction systems ⋮ Investigating dynamic causalities in reaction systems ⋮ Minimal reaction systems: duration and blips ⋮ Minimal and almost minimal reaction systems ⋮ Representing Reaction Systems by Trees ⋮ Relevance of Entities in Reaction Systems ⋮ Predictors for flat membrane systems ⋮ A Formal Framework for Processes Inspired by the Functioning of Living Cells ⋮ Controlled reversibility in communicating reaction systems ⋮ Characterization and computation of ancestors in reaction systems ⋮ ZOOM STRUCTURES AND REACTION SYSTEMS YIELD EXPLORATION SYSTEMS ⋮ Minimal Reaction Systems Defining Subset Functions ⋮ Steady states of constrained reaction systems ⋮ A graph isomorphism condition and equivalence of reaction systems ⋮ Process calculi for biological processes ⋮ Rough sets: past, present, and future ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Computing preimages and ancestors in reaction systems ⋮ Functions and sequences generated by reaction systems ⋮ Standard and ordered zoom structures ⋮ On probabilistic and quantum reaction systems ⋮ Reaction Systems, Transition Systems, and Equivalences ⋮ Simulating R Systems by P Systems ⋮ Unnamed Item ⋮ Applications of the Chinese remainder theorem to reaction systems with duration ⋮ Dependency graphs and mass conservation in reaction systems ⋮ Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems ⋮ Facilitation in reaction systems ⋮ Simulation of reaction systems by the strictly minimal ones ⋮ Mutual exclusion and reversibility in reaction systems ⋮ Simulating reversible computation with reaction systems ⋮ Extracting reaction systems from function behavior ⋮ A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models ⋮ Controllability of reaction systems ⋮ RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS ⋮ Generalized contexts for reaction systems: definition and study of dynamic causalities ⋮ Irreducible reaction systems and reaction system rank ⋮ Model checking temporal properties of reaction systems ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks ⋮ Graph transformation through graph surfing in reaction systems ⋮ An excursion in reaction systems: from computer science to biology ⋮ A logical and graphical framework for reaction systems ⋮ Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation ⋮ Transactions and contracts based on reaction systems ⋮ A process algebraic approach to reaction systems ⋮ Comparing reactions in reaction systems ⋮ A categorial approach to reaction systems: first steps ⋮ Reaction systems with influence on environment ⋮ Networks of Reaction Systems ⋮ Towards Quantitative Verification of Reaction Systems ⋮ Transition graphs of reversible reaction systems ⋮ Certain state sequences defined by P systems with reactions ⋮ Theory of tailor automata ⋮ Companions and an Essential Motion of a Reaction System ⋮ From networks of reaction systems to communicating reaction systems and back ⋮ Transformations of reaction systems over categories by means of epi-mono factorization and functors
Cites Work
This page was built for publication: A TOUR OF REACTION SYSTEMS
