Core Formal Molecular Biology

@inproceedings{Danos2003CoreFM,
  title={Core Formal Molecular Biology},
  author={Vincent Danos and Cosimo Laneve},
  booktitle={ESOP},
  year={2003}
}
A core modeling language for Molecular Biology is introduced, where two simple forms of interaction are considered, complexation and activation. This core language is equipped with two sensible bisimulation-based equivalences, and it is shown that interactions involving complex reactants are superfluous up to these notions. Strong compilations in π-calculus are given, following Regev's principle of translating physical connection as private name sharing. 

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

A formalism for Kohn’s molecular map

  • Marc Chiaverini, Vincent Danos
  • In Proceedings of International Workshop on…
  • 2003
1 Excerpt