Computational self-assembly

DOI10.1016/J.TCS.2008.04.014zbMATH Open1151.68034OpenAlexW2005033254MaRDI QIDQ953541FDOQ953541

Jean Krivine, Pierre-Louis Curien, Min Zhang, Vincent Danos

Publication date: 6 November 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/16870159/Computational_self_assembly.pdf

Recommendations

• Expressivity in the \(\kappa\) family
• Formal molecular biology
• Self-assembling graphs
• Unconventional Computation
• Self-assembling pushdown automata

zbMATH Keywords

applied concurrent languagecellular signalling pathways

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Formal molecular biology
• General reversibility
• A calculus of mobile processes. II
• Abstract Interpretation of Cellular Signalling Networks
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Rule-Based Modelling of Cellular Signalling

Cited In (11)

• Fuel Efficient Computation in Passive Self-Assembly
• Towards the algorithmic molecular self-assembly of fractals by cotranscriptional folding
• The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems
• On the computational power of BlenX
• Associative pattern recognition through macro-molecular self-assembly
• Parallel Computation Using Active Self-assembly
• Parallel computation using active self-assembly
• Active Self-Assembly of Simple Units Using an Insertion Primitive
• COMPUTATIONAL MODELING OF TISSUE SELF-ASSEMBLY
• Computation = self-assembly + conformational change: Toward new computing paradigms.
• Title not available (Why is that?)

This page was built for publication: Computational self-assembly

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q953541)