面向随机性的形式化方法

系统深入地研究随机（概率）系统的形式化（顺序与并发）计算模型，采用概率逻辑作为元逻辑，建立概率顺序计算程序的谓词转换器语义和精化演算，在概率并发计算形式化方法方面,解决不同步并行算子概率化问题;晚霞信息论的思想引入进程代数，建立带噪音的通讯并发系统的形式化模型。