Abstract Gene Regulatory Networks (GRNs) represent the interactions among genes
regulating the activation of specific cell functionalities, such as reception of (chemical) …

Reaction systems, motivated by the functioning of the living cell, became a novel model of
interactive computation. In this paper, we pursue this line of research. More specifically, we …

Reaction systems are a qualitative formalism for modeling systems of biochemical reactions
characterized by the non-permanency of the elements: molecules disappear if not produced …

Reaction systems are discrete dynamical systems inspired by bio-chemical processes,
whose dynamical behaviour is expressed by set-theoretic operations on finite sets. Reaction …

This paper defines a temporal logic for reaction systems (rsCTL). The logic is interpreted
over the models for the context restricted reaction systems that generalise standard reaction …

We investigate the computational complexity of deciding the occurrence of many different
dynamical behaviours in reaction systems, with an emphasis on biologically relevant …

Reaction systems are discrete dynamical systems that model biochemical processes in
living cells using finite sets of reactants, inhibitors, and products. We investigate the …

This work introduces the new class of pure reaction automata, as well as a new update
manner, called maximal reactive manner, that can also be applied to standard reaction …

Reaction systems are a new mathematical formalism inspired by the living cell and driven by
only two basic mechanisms: facilitation and inhibition. As a modeling framework, they differ …

Abstract Reaction Systems (RSs) are a successful computational framework inspired by
biological systems. RSs can involve a large number of reactions and entities, which makes it …