关于Peterson—Fischer二进程算法的断言式证明

微信服务号

微信订阅号

首页 > 过刊浏览>1993年第4卷第3期 >53-57

关于Peterson—Fischer二进程算法的断言式证明
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

AN ASSERTIONAL PROOF FOR PETERSON-FISCHER 2-MUTUAL ALGORITHM

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺。

Abstract:

This paper purports to present an assertional proof for Peterson-Fischer 2-mutual exclusion algorithm. According to Nancy A. Lynch of MIT[1], this was an open problem. Hence the significance of this paper is to fill the gap.

参考文献

相似文献

引证文献

引用本文

苏运霖.关于Peterson—Fischer二进程算法的断言式证明.软件学报,1993,4(3):53-57

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1990-12-13
最后修改日期:1991-04-22
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史