A process algebraic approach to reaction systems

DOI10.1016/J.TCS.2020.09.001MaRDI QIDQ2044947zbMATH OpenOpenAlexFDO

Authors Linda Brodo, Roberto Bruni, M. Falaschi

Publication date 11 August 2021

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.09.001

zbMATH Keywords

assertion languageHM-logicprocess algebrasreaction systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Reaction systems
• Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
• Reaction Systems and Enabling Equivalence
• A logical and graphical framework for reaction systems
• Reaction Systems, Transition Systems, and Equivalences

Cites work

• A flat process calculus for nested membrane interactions
• A formal approach to open multiparty interactions
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• A static analysis for brane calculi providing global occurrence counting information
• A tour of reaction systems
• An excursion in reaction systems: from computer science to biology
• Barbed bisimulation
• Bisimulations in calculi modelling membranes
• Controlled reversibility in reaction systems
• Encoding mobile ambients into the \(\pi \)-calculus
• Equational properties of mobile ambients
• Forward and backward bisimulations for chemical reaction networks
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• Investigating dynamic causalities in reaction systems
• Mobile ambients
• Model checking temporal properties of reaction systems
• Networks of reaction systems
• On the expressiveness of -calculus for encoding mobile ambients
• Open Multiparty Interaction
• Reaction System Models for the Heat Shock Response
• Static evidences for attack reconstruction
• Steady states of constrained reaction systems
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• The \texttt{link}-calculus for open multiparty interactions
• The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday
• The computational capability of chemical reaction automata

Cited in

(7)

• A calculational approach to reactive systems
• A logical and graphical framework for reaction systems
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Weak Algebraic Hyperstructures as a Model for Interpretation of Chemical Reactions
• Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
• Enhancing Reaction Systems: A Process Algebraic Approach
• Functional equivalence and a cover relation for reaction systems

Describes a project that uses

Uses Software

• SiLVer

This page was built for publication: A process algebraic approach to reaction systems

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