Nanosystems: molecular machinery, manufacturing, and computation
Nanosystems: molecular machinery, manufacturing, and computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Information Processing Letters
Programmable self-assembly using biologically-inspired multiagent control
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Graphical Gaussian Shape Models and Their Application to Image Segmentation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Theoretical Computer Science
Theoretical Computer Science
On the decidability and complexity of the structural congruence for beta-binders
Theoretical Computer Science
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science (ENTCS)
BlenX Static and Dynamic Semantics
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
The BlenX language: a tutorial
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Simulating Signalling Pathways With BioWayS
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by which molecules adopt a defined arrangement without external guidance (e.g. formation of membranes and protein complexes). These biological processes are essential to the functioning of cells. We investigate the usage of BlenX, a process calculi based programming language, for modelling molecular self-assembly of filaments, trees and rings. Moreover, we show how these structures can be used to model actin polymerization.