Predicting biological systems' behaviors requires taking into account many molecular and
genetic elements for which limited information is available past a global knowledge of their …

Cause/effect analysis of complex systems is instrumental in better understanding many
natural phenomena. Moreover, formal analysis requires the availability of suitable abstract …

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 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 discrete dynamical systems that simulate biological processes within
living cells through finite sets of reactants, inhibitors, and products. In this paper, we study …

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 …

Reaction systems were introduced as a formal model of interactions between biochemical
reactions. These interactions, which are based on two mechanisms: facilitation and …

Boolean networks are a mathematical model that has been widely used since decades in
the context of biological regulation networks' qualitative modelling. They consist in …

Reaction systems are a model of computation inspired by the functioning of the living cell.
They formalize the interactions between biochemical reactions that form the basic …

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 …