The κ-Lattice : Decidability Boundaries for Qualitative Analysis in Biological Languages 1

@inproceedings{Delzanno2009The,
  title={The κ-Lattice : Decidability Boundaries for Qualitative Analysis in Biological Languages 1},
  author={Giorgio Delzanno and Cinzia Di Giusto and Maurizio Gabbrielli and Cosimo Laneve and Gianluigi Zavattaro},
  year={2009}
}
The κ-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 κ 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. This… CONTINUE READING
4 Citations
39 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…