静态分析技术论文

可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究
论文摘要可移动类进程代数是为描述可移动进程及通讯连接动态构成的进程网络而对传统抽象演算的扩展,为有效地计算系统的动态行为和运行的拓扑结构,本文开发了该类演算基于控制流分析和抽象...