四川大学学报(工程科学版)2009，Vol.41Issue(1)：134-138,5.
概率带测试克林代数
Probabilistic Kleene Algebra with Tests
摘要
关键词
概率带测试克林代数/概率格局变迁系统/结构操作语义/互模拟等价分类
信息技术与安全科学引用本文复制引用
乔瑞,吴尽昭..概率带测试克林代数[J].四川大学学报(工程科学版),2009,41(1):134-138,5.基金项目
国家973计划资助项目(2004CB318000 （）
2007CB310800) （）
国家高技术发展计划(863计划)资助项目(2007AA01Z143) （863计划）
