%0 Journal Article
%T 关于Peterson—Fischer二进程算法的断言式证明
%A 苏运霖
%J -
%D 1993
%X 本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930310&flag=1