Using process calculus to model biological systems (stochastic π {\displaystyle \pi } -calculus, BioAmbients, Beta Binders, BioPEPA, Brane calculus).
使用进程演算来对生物系统建模（随机π演算，BioAmbients，Beta Binder，BioPEPA，Brane calculus）。