Asynchrony and persistence in reaction systems
From MaRDI portal
Publication:2044949
DOI10.1016/j.tcs.2020.11.040OpenAlexW3110404123MaRDI QIDQ2044949
A. V. Yakovlev, Marta Pietkiewicz-Koutny, Maciej Koutny
Publication date: 11 August 2021
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://eprint.ncl.ac.uk/271576
persistencetraceabilityinteractive computationreaction systeminterruptinteractive processasynchronous executioncontext sequencesynchronous execution
Cites Work
- Unnamed Item
- On probabilistic and quantum reaction systems
- An excursion in reaction systems: from computer science to biology
- Events and modules in reaction systems
- On the complexity of occurrence and convergence problems in reaction systems
- Generalized contexts for reaction systems: definition and study of dynamic causalities
- Model checking temporal properties of reaction systems
- Functions and sequences generated by reaction systems
- Reaction systems with influence on environment
- Evolving reaction systems
- Persistent and Nonviolent Steps and the Design of GALS Systems
- FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
- ZOOM STRUCTURES AND REACTION SYSTEMS YIELD EXPLORATION SYSTEMS
- Properties of Conflict-Free and Persistent Petri Nets
- Specialized Predictor for Reaction Systems with Context Properties
- Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations
- Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell
- STABILITY AND CHAOS IN REACTION SYSTEMS
- Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells
- Minimal Reaction Systems
- Turing, Computing and Communication
- Fixed Points and Attractors of Reaction Systems
- Networks of Reaction Systems
- Reaction System Models for the Heat Shock Response
- Synthesis of Nets with Step Firing Policies
- Reaction Systems, Transition Systems, and Equivalences
This page was built for publication: Asynchrony and persistence in reaction systems
