A logical and graphical framework for reaction systems
From MaRDI portal
Publication:2034775
DOI10.1016/j.tcs.2021.03.024zbMath1504.68065OpenAlexW3142177429MaRDI QIDQ2034775
Linda Brodo, Roberto Bruni, Moreno Falaschi
Publication date: 23 June 2021
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2021.03.024
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Investigating dynamic causalities in reaction systems
- Compositional semantics and behavioural equivalences for reaction systems with restriction
- Dependency graphs and mass conservation in reaction systems
- An excursion in reaction systems: from computer science to biology
- Events and modules in reaction systems
- Bisimulations in calculi modelling membranes
- A calculus of communicating systems
- Steady states of constrained reaction systems
- WEBRSIM: a web-based reaction systems simulator
- A formal approach to open multiparty interactions
- A structural approach to operational semantics
- The \texttt{link}-calculus for open multiparty interactions
- The computational capability of chemical reaction automata
- Slicing concurrent constraint programs
- A TOUR OF REACTION SYSTEMS
- FUNCTIONS DEFINED BY REACTION SYSTEMS
- Introduction to Bisimulation and Coinduction
- COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS
- Abstract interpretation of temporal concurrent constraint programs
- Efficient Simulation of Reaction Systems on Graphics Processing Units
- The Many Roads to the Simulation of Reaction Systems
- Networks of Reaction Systems
- Forward and Backward Bisimulations for Chemical Reaction Networks
- Reaction System Models for the Heat Shock Response
- Reaction Systems, Transition Systems, and Equivalences
