On State Sequences Defined by Reaction Systems
From MaRDI portal
Publication:2897958
DOI10.1007/978-3-642-29485-3_17zbMath1354.68081OpenAlexW135965196MaRDI QIDQ2897958
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
Evolving reaction systems ⋮ Minimal reaction systems: duration and blips ⋮ Minimal and almost minimal reaction systems ⋮ Minimal Reaction Systems Defining Subset Functions ⋮ Functions and sequences generated by reaction systems ⋮ Reaction Systems, Transition Systems, and Equivalences ⋮ Applications of the Chinese remainder theorem to reaction systems with duration ⋮ Extracting reaction systems from function behavior ⋮ Controllability of reaction systems ⋮ Theory of reaction automata: a survey ⋮ Irreducible reaction systems and reaction system rank ⋮ Model checking temporal properties of reaction systems ⋮ Graph transformation through graph surfing in reaction systems ⋮ Comparing reactions in reaction systems ⋮ Reaction systems with influence on environment ⋮ Towards Quantitative Verification of Reaction Systems ⋮ Certain state sequences defined by P systems with reactions
This page was built for publication: On State Sequences Defined by Reaction Systems
