Compositional semantics and behavioural equivalences for reaction systems with restriction

DOI10.1016/j.tcs.2014.04.010zbMath1360.68574OpenAlexW2093960806MaRDI QIDQ403001

Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini, Roberto Barbuti

Publication date: 29 August 2014

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

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

zbMATH Keywords

structural operational semanticscongruencebehavioural equivalencesreaction systemsreaction algebra

Mathematics Subject Classification ID

Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Investigating dynamic causalities in reaction systems ⋮ A logical and graphical framework for reaction systems ⋮ Transactions and contracts based on reaction systems ⋮ Comparing reactions in reaction systems ⋮ Minimal Reaction Systems Revisited and Reaction System Rank ⋮ Identification of components in biochemical pathways: extensive aqpplication to SBML models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Spatial calculus of looping sequences
• An excursion in reaction systems: from computer science to biology
• Events and modules in reaction systems
• Compositional semantics and behavioral equivalences for P systems
• Bisimulations in calculi modelling membranes
• Compositional semantics of spiking neural P systems
• Introducing time in reaction systems
• Higher-level synchronising devices in Meije-SCCS
• Membrane computing. An introduction.
• Representing Reaction Systems by Trees
• A TOUR OF REACTION SYSTEMS
• Reaction Systems with Duration
• AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
• FUNCTIONS DEFINED BY REACTION SYSTEMS
• Bisimulation Congruences in the Calculus of Looping Sequences
• STABILITY AND CHAOS IN REACTION SYSTEMS
• A Compositional Semantics of Reaction Systems with Restriction

This page was built for publication: Compositional semantics and behavioural equivalences for reaction systems with restriction