Formal Molecular Biology Done in CCS-R

Vincent Danos, Jean Krivine

Research output: Contribution to journalArticlepeer-review

Abstract

We present CCS-R, a reversible variant of Milner's CCS offering a backtracking mechanism. Formalization of biological systems satisfying a “perfect mix” assumption within CCS-R is discussed.
Original languageEnglish
Pages (from-to)31-49
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Volume180
Issue number3
DOIs
Publication statusPublished - Jul 2007

Keywords

  • CCS
  • Reversible computation
  • backtracking mechanism

Fingerprint Dive into the research topics of 'Formal Molecular Biology Done in CCS-R'. Together they form a unique fingerprint.

Cite this