运用分离前提方法来检验互斥性和生命属性
摘要
本文提出了一种分离前提方法(split precondition approach)，用于构造分布式算法模型并证明算法的正确性。文中讨论了Peterson的双处理器分布式互斥算法，对其进行了精确的分析和形式化的说明。并给出了相关属性的证明。
-
1周金治,邓悄,康春香.基于参数设定的正则表达式匹配算法[J].江苏大学学报（自然科学版）,2016,37(2):194-200.
-
2章丽娟,王清贤.基于多视图的攻击分类体系[J].计算机应用研究,2010,27(1):255-258. 被引量：4
-
3李健,欧阳继红,富倩,陈岗.凹形区域和带单洞区域间拓扑关系的表示[J].模式识别与人工智能,2013,26(3):225-230. 被引量：3
-
4李健,朱佳斌,赵慧.一类带有互相包含洞的区域与简单区域间拓扑关系的表示[J].吉林大学学报（理学版）,2013,51(6):1107-1110. 被引量：2
-
5简化并行编程[J].程序员,2014,0(12):7-7.
-
6吴曜圻.构建生命化网络社会的新任务[J].软件工程师,2008(3):116-117.
-
7王礼云,毛文涛,胡武鹏.极限学习机多目标模型选择研究[J].计算机仿真,2014,31(8):387-391. 被引量：5
-
8李健,欧阳继红,陈岗,王振鑫.一个凹形区域和一个简单区域间拓扑关系的表示[J].吉林大学学报（工学版）,2013,43(2):386-390. 被引量：3
-
9肖伯祥,郭新宇,陆声链,温维亮,郭小东.植物三维形态虚拟仿真技术体系研究[J].应用基础与工程科学学报,2012,20(4):539-551. 被引量：17
-
10张贤勇.近似邻域的完备探讨[J].四川师范大学学报（自然科学版）,2006,29(2):139-142. 被引量：2
