Author： Cardelli Luca
Publisher： Springer Publishing Company
ISSN： 1567-7818
Source： Natural Computing, Vol.10, Iss.1, 2011-03, pp. : 407-428
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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.
Related content
Computing Ext Algebras for Finite Groups
By Carlson J.F. Green E.L. Schnieder G.J.A.
Journal of Symbolic Computation, Vol. 24, Iss. 3, 1997-09 ,pp. :
Access to resources
Recommend
DNA computing in vitro and in vivo
By Kari L.
Future Generation Computer Systems, Vol. 17, Iss. 7, 2001-05 ,pp. :
Theoretical Computer Science, Vol. 292, Iss. 3, 2003-01 ,pp. :
Topics in the theory of DNA computing
By Amos M. Paun G. Rozenberg G. Salomaa A.
Theoretical Computer Science, Vol. 287, Iss. 1, 2002-09 ,pp. :