会议论文《并发系统概率空间的形式化构造方法》探讨了如何为并发系统构建概率空间，以支持对系统行为的随机性分析。作者提出了一种形式化方法，将概率论与并发模型相结合，从而能够更精确地描述和验证并发系统的概率特性。该研究在2008年全国理论计算机科学学术年会上发表，为并发系统的形式化验证提供了新的思路。
文档为pdf格式，0.19MB，总共3页。
举报
