A logical and graphical framework for reaction systems
type: Item
instance of: scholarly article
title: A logical and graphical framework for reaction systems
zbMATH Open document ID: 1504.68065
author: Linda Brodo
author: Roberto Bruni
author: M. Falaschi
published in: Theoretical Computer Science
publication date: 2021-06-23T00:00:00Z
Mathematics Subject Classification ID: 68Q07
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7362180
zbMATH Keywords: SOS rules
zbMATH Keywords: reaction systems
zbMATH Keywords: logic programming
zbMATH Keywords: assertions
zbMATH Keywords: bisimulation
zbMATH Keywords: Hennessy-Milner logic
describes a project that uses: WEBRSIM
describes a project that uses: brsim
MaRDI profile type: Publication
full work available at URL: j.tcs.2021.03.024
OpenAlex ID: W3142177429
cites work: A structural approach to operational semantics
cites work: A calculus of communicating systems
cites work: Q3657409
cites work: A tour of reaction systems
cites work: Reaction System Models for the Heat Shock Response
cites work: An excursion in reaction systems: from computer science to biology
cites work: Steady states of constrained reaction systems
cites work: Investigating dynamic causalities in reaction systems
cites work: The computational capability of chemical reaction automata
cites work: COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS
cites work: FUNCTIONS DEFINED BY REACTION SYSTEMS
cites work: Reaction Systems, Transition Systems, and Equivalences
cites work: Compositional semantics and behavioural equivalences for reaction systems with restriction
cites work: Bisimulations in calculi modelling membranes
cites work: Forward and Backward Bisimulations for Chemical Reaction Networks
cites work: A formal approach to open multiparty interactions
cites work: The \texttt{link}-calculus for open multiparty interactions
cites work: Introduction to Bisimulation and Coinduction
cites work: Q3883467
cites work: Efficient Simulation of Reaction Systems on Graphics Processing Units
cites work: Q4991691
cites work: Dependency graphs and mass conservation in reaction systems
cites work: WEBRSIM: a web-based reaction systems simulator
cites work: The Many Roads to the Simulation of Reaction Systems
cites work: Networks of Reaction Systems
cites work: Abstract interpretation of temporal concurrent constraint programs
cites work: Slicing concurrent constraint programs
cites work: Events and modules in reaction systems
DOI: 10.1016/J.TCS.2021.03.024
description: scientific article; zbMATH DE number 7362180