Formal Molecular Biology Done in CCS-R

Vincent Danos, Jean Krivine

Research output: Contribution to journalArticlepeer-review


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
Issue number3
Publication statusPublished - Jul 2007


  • 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