A logical and graphical framework for reaction systems

DOI10.1016/J.TCS.2021.03.024MaRDI QIDQ2034775zbMATH OpenOpenAlexFDO

Authors Linda Brodo, Roberto Bruni, M. 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

zbMATH Keywords

assertionsbisimulationHennessy-Milner logiclogic programmingreaction systemsSOS rules

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Semantics in the theory of computing (68Q55)

Recommendations

• Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
• A tour of reaction systems
• A process algebraic approach to reaction systems
• Reaction systems
• The many roads to the simulation of reaction systems

Cites work

• A calculus of communicating systems
• A formal approach to open multiparty interactions
• A structural approach to operational semantics
• A tour of reaction systems
• Abstract interpretation of temporal concurrent constraint programs
• An excursion in reaction systems: from computer science to biology
• Bisimulations in calculi modelling membranes
• Combinatorics of life and death for reaction systems
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Dependency graphs and mass conservation in reaction systems
• Efficient simulation of reaction systems on graphics processing units
• Events and modules in reaction systems
• Forward and backward bisimulations for chemical reaction networks
• Functions defined by reaction systems
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 7354705 (Why is no real title available?)
• Introduction to bisimulation and coinduction
• Investigating dynamic causalities in reaction systems
• Networks of reaction systems
• Reaction System Models for the Heat Shock Response
• Reaction Systems, Transition Systems, and Equivalences
• Steady states of constrained reaction systems
• The \texttt{link}-calculus for open multiparty interactions
• The computational capability of chemical reaction automata
• The many roads to the simulation of reaction systems
• WEBRSIM: a web-based reaction systems simulator

Cited in

(8)

• Identification of biological transition systems using meta-interpreted logic programs
• WEBRSIM: a web-based reaction systems simulator
• Global view on reactivity: switch graphs and their logics
• Extracting reaction systems from function behavior
• A process algebraic approach to reaction systems
• Zoom structures and reaction systems yield exploration systems
• scientific article; zbMATH DE number 7278919 (Why is no real title available?)
• Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems

Describes a project that uses

Uses Software

• WEBRSIM
• brsim

This page was built for publication: A logical and graphical framework for reaction systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2034775)