Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
Theoretical Computer Science - Special issue: Computational systems biology
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelization and simulation of nano devices in nanok calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
On the Expressive Power of Multiple Heads in CHR
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
In this paper we study implementation of @k calculus into nano@k calculus - called self-assembling of @k in nk. The former is a model for molecular biology that rewrites graphs of molecules in one step; the latter is a calculus similar to @k that only admits binary interactions. We give a solution of the self-assembling of @k in nano@k that is divergent and we show the nonexistence of deterministic solutions retaining ''reasonable'' properties.