The kappa-calculus is a formalism for modelling molecular biology where molecules are terms with internal state and sites, bonds are represented by shared names labelling sites, and reactions are represented by rewriting rules. Depending on the shape of the rewriting rules; a lattice of dialects of kappa can be obtained. We analyze the expressive power of some of these dialects by focusing on the thin boundary between decidability and undecidability for problems like reachability and coverability.
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages / Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G. - STAMPA. - 5688:(2009), pp. 158-178. (Intervento presentato al convegno Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009 tenutosi a Bologna nel August 31-September 1, 2009).
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
Di Giusto, C;Gabbrielli, M;Laneve, C;Zavattaro, G
2009
Abstract
The kappa-calculus is a formalism for modelling molecular biology where molecules are terms with internal state and sites, bonds are represented by shared names labelling sites, and reactions are represented by rewriting rules. Depending on the shape of the rewriting rules; a lattice of dialects of kappa can be obtained. We analyze the expressive power of some of these dialects by focusing on the thin boundary between decidability and undecidability for problems like reachability and coverability.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
