抽象模型论及其在代数语义学中的应用

在通讯并发系统的语义模型中引入拓朴结构，建立了互模拟极限，近似互模拟与互模拟指标的理论，为并发程序的近似正确性与无限进化的形式化描述提供了适当的数学工具，可望在软件开发的形式化方法中发展近似技术。给出了过程代数中递的方程鲜的唯一性定理的简洁证明；解决了变迁系统中合流性与τ无用性之间关系的问题。