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.

A Compositional Semantics of Reaction Systems with Restriction

TINI, SIMONE
2013

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.
9783642390524
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11383/1891720
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact