Strand algebras for DNA computing

被引：49
作者：
Cardelli, Luca [1 ]
机构：
[1] Microsoft Res, Cambridge, England
来源：
NATURAL COMPUTING | 2011年 / 10卷 / 01期
关键词：
Process algebra; DNA computing; DNA strand displacement; COMPUTATION; NETWORKS;
D O I：
10.1007/s11047-010-9236-7
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：407 / 428
页数：22
相关论文
共 27 条
[1]   Computation in networks of passively mobile finite-state sensors [J].
Angluin, D ;
Aspnes, J ;
Diamadi, Z ;
Fischer, MJ ;
Peralta, R .
DISTRIBUTED COMPUTING, 2006, 18 (04) :235-253
[2]   Programmable and autonomous computing machine made of biomolecules [J].
Benenson, Y ;
Paz-Elizur, T ;
Adar, R ;
Keinan, E ;
Livneh, Z ;
Shapiro, E .
NATURE, 2001, 414 (6862) :430-434
[3]  
BERRY G, 1989, P 17 ACM SIGPLAN SIG, P81
[4]  
CARDELLI L, 2009, COMMUNICATIONS
[5]   On process rate semantics [J].
Cardelli, Luca .
THEORETICAL COMPUTER SCIENCE, 2008, 391 (03) :190-215
[6]   Turing universality of the Biochemical Ground Form [J].
Cardelli, Luca ;
Zavattaro, Gianluigi .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (01) :45-73
[7]  
Cardelli L, 2009, LECT NOTES COMPUT SC, V5877, P12, DOI 10.1007/978-3-642-10604-0_2
[8]   Artificial Biochemistry [J].
Cardelli, Luca .
ALGORITHMIC BIOPROCESSES, 2009, :429-462
[9]   Formal molecular biology [J].
Danos, V ;
Laneve, C .
THEORETICAL COMPUTER SCIENCE, 2004, 325 (01) :69-110
[10]   Thermodynamic analysis of interacting nucleic acid strands [J].
Dirks, Robert M. ;
Bois, Justin S. ;
Schaeffer, Joseph M. ;
Winfree, Erik ;
Pierce, Niles A. .
SIAM REVIEW, 2007, 49 (01) :65-88
123