Computational self-assembly

DOI10.1016/j.tcs.2008.04.014zbMath1151.68034OpenAlexW2005033254MaRDI QIDQ953541

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

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)

Related Items (1)

On the computational power of BlenX

Cites Work

• A calculus of mobile processes. II
• 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
• Abstract Interpretation of Cellular Signalling Networks

This page was built for publication: Computational self-assembly