Computational self-assembly

DOI10.1016/J.TCS.2008.04.014MaRDI QIDQ953541zbMATH OpenOpenAlexFDO

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

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

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)

Recommendations

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

Cites work

• 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
• Formal molecular biology
• General reversibility
• Rule-Based Modelling of Cellular Signalling

Cited in

(12)

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

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)