The DNA Strand Displacement language (DSD) is a programming language for designing and simulating computational circuits made of DNA, in which strand displacement is the main computational mechanism. The language includes basic elements of sequence domains, branch migration and strand displacement, and assumes that strands do not possess any secondary structure. The language allows a given model to be simulated and analysed at varying levels of abstraction, without changing the model code. DSD is a first step towards the design of modelling and simulation tools for DNA strand displacement, which complements the emergence of novel implementation strategies for DNA computing.
- Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, and John Reif, Localized Hybridization Circuits, in International Conference on DNA Computing and Molecular Programming, vol. 6937, pp. 64-83, Springer Verlag, September 2011
- Matthew Lakin and Andrew Phillips, Modelling, simulating and verifying Turing-powerful strand displacement systems, in International Conference on DNA Computing and Molecular Programming , vol. 6937, pp. 130-144, Springer Verlag, September 2011
- Matthew Lakin, Simon Youssef, Luca Cardelli, and Andrew Phillips, Abstractions for DNA circuit design, in Journal of the Royal Society Interface, vol. Published Online, The Royal Society, July 2011
- Andrew Phillips and Luca Cardelli, A programming language for composable DNA circuits, in Journal of the Royal Society Interface, 17 June 2009