1. Graph rewriting and strategies for modeling biochemical networks;Andrei,2007
2. BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains.;Blinov;Bioinformatics,2004
3. Graph theory for rule-based modeling of biochemical networks;Blinov,2006
4. Brane calculi, interactions of biological membranes;Cardelli,2004
5. Troels C. Damgaard and Jean Krivine. A generic language for biological systems based on bigraphs. Technical Report TR-2008-115, IT Univeristy of Copenhagen, 2008.