A Compositional Semantics of Reaction Systems with Restriction

Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone

doi:10.1007/978-3-642-39053-1_39

IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

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.

SFX

Titolo:	A Compositional Semantics of Reaction Systems with Restriction
Autori:	Pardini, G. Barbuti, R. Maggiolo Schettini, A. Milazzo, P. TINI, SIMONE mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2013
Serie:	LECTURE NOTES IN COMPUTER SCIENCE
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.
Handle:	http://hdl.handle.net/11383/1891720
ISBN:	9783642390524
Appare nelle tipologie:	Relazione (in Volume)

File in questo prodotto:

Non ci sono file associati a questo prodotto.

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

Citazioni

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