Compositional semantics and behavioural equivalences for reaction systems with restriction
DOI10.1016/J.TCS.2014.04.010zbMATH Open1360.68574OpenAlexW2093960806MaRDI QIDQ403001FDOQ403001
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
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Membrane computing. An introduction.
- Bisimulations in calculi modelling membranes
- Introducing time in reaction systems
- Higher-level synchronising devices in Meije-SCCS
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- 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
- STABILITY AND CHAOS IN REACTION SYSTEMS
- A Compositional Semantics of Reaction Systems with Restriction
- An excursion in reaction systems: from computer science to biology
- Events and modules in reaction systems
- Compositional semantics of spiking neural P systems
- Bisimulation Congruences in the Calculus of Looping Sequences
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Spatial calculus of looping sequences
- Compositional semantics and behavioral equivalences for P systems
Cited In (9)
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- Investigating dynamic causalities in reaction systems
- A Compositional Semantics of Reaction Systems with Restriction
- Transactions and contracts based on reaction systems
- A logical and graphical framework for reaction systems
- Comparing reactions in reaction systems
- Minimal Reaction Systems Revisited and Reaction System Rank
- Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
- Attractor Equivalence: An Observational Semantics for Reaction Networks
This page was built for publication: Compositional semantics and behavioural equivalences for reaction systems with restriction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q403001)
