Reaction Systems and Enabling Equivalence
DOI10.3233/FI-2020-1882zbMATH Open1435.68095DBLPjournals/fuin/KleijnKM20OpenAlexW2990441742WikidataQ104379631 ScholiaQ104379631MaRDI QIDQ5114219FDOQ5114219
Authors: Maciej Koutny, Łukasz Mikulski, Jetty Kleijn
Publication date: 21 June 2020
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2020-1882
Recommendations
- Reaction Systems, Transition Systems, and Equivalences
- Reaction systems
- Comparing reactions in reaction systems
- scientific article; zbMATH DE number 4145696
- Compositions of reaction systems
- Facilitation in reaction systems
- Towards quantitative verification of reaction systems
- A tour of reaction systems
- Developments in Language Theory
- Relevance of entities in reaction systems
reaction systemtransition systemliving cellmodel of computationfunctional equivalenceinteractive processenabling equivalencecontext-independent process
Biochemistry, molecular biology (92C40) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cited In (17)
- Functional equivalence and a cover relation for reaction systems
- Extracting reaction systems from function behavior
- Compositional semantics and behavioural equivalences for reaction systems with restriction
- Evolving reaction systems
- Events and modules in reaction systems
- Zoom structures and reaction systems yield exploration systems
- A graph isomorphism condition and equivalence of reaction systems
- Ranks of strictly minimal reaction systems induced by permutations
- Reaction systems with influence on environment
- Reaction Systems, Transition Systems, and Equivalences
- Transactions and contracts based on reaction systems
- Title not available (Why is that?)
- Comparing reactions in reaction systems
- Companions and an essential motion of a reaction system
- Developments in Language Theory
- Reactive Synthesis Without Regret
- A process algebraic approach to reaction systems
This page was built for publication: Reaction Systems and Enabling Equivalence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114219)