Strand algebras for DNA computing

  • Authors:
  • Luca Cardelli

  • Affiliations:
  • Microsoft Research, Cambridge, UK

  • Venue:
  • Natural Computing: an international journal
  • Year:
  • 2011

Quantified Score

Hi-index 0.02

Visualization

Abstract

We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.