Pardini, G., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., & Tini, S. (2013, July). A compositional semantics of reaction systems with restriction. In Conference on Computability in Europe (pp. 330-339). Springer, Berlin, Heidelberg.
Abstract
Reaction systems are an abstract model of interactions among biochemical reactions, developed around two opposite mechanisms: facilitation and inhibition. The evolution of a Reaction System is driven by the external objects which are sent into the system by the environment at each step. In this paper, we propose the Reaction Algebra, a calculus resembling reaction systems extended with a restriction operator. Restriction increases the expressiveness of the calculus by allowing the modeling of hidden entities, such as those contained in membranes.
We define a compositional semantics and a behavioral equivalence for the Reaction Algebra, in order to enable the modular description of biological systems.
Bibtex file
@inproceedings{pardini2013compositional,
title={A compositional semantics of reaction systems with restriction},
author={Pardini, Giovanni and Barbuti, Roberto and Maggiolo-Schettini, Andrea and Milazzo, Paolo and Tini, Simone},
booktitle={Conference on Computability in Europe},
pages={330--339},
year={2013},
organization={Springer}
}
Pardini, G., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., & Tini, S. (2013, July). A compositional semantics of reaction systems with restriction. In Conference on Computability in Europe (pp. 330-339). Springer, Berlin, Heidelberg.
Abstract Reaction systems are an abstract model of interactions among biochemical reactions, developed around two opposite mechanisms: facilitation and inhibition. The evolution of a Reaction System is driven by the external objects which are sent into the system by the environment at each step. In this paper, we propose the Reaction Algebra, a calculus resembling reaction systems extended with a restriction operator. Restriction increases the expressiveness of the calculus by allowing the modeling of hidden entities, such as those contained in membranes.
We define a compositional semantics and a behavioral equivalence for the Reaction Algebra, in order to enable the modular description of biological systems.
Link to the online copy
Bibtex file @inproceedings{pardini2013compositional, title={A compositional semantics of reaction systems with restriction}, author={Pardini, Giovanni and Barbuti, Roberto and Maggiolo-Schettini, Andrea and Milazzo, Paolo and Tini, Simone}, booktitle={Conference on Computability in Europe}, pages={330--339}, year={2013}, organization={Springer} }