%0 Journal Article
%T AN ASSERTIONAL PROOF FOR PETERSON-FISCHER 2-MUTUAL ALGORITHM
关于Peterson—Fischer二进程算法的断言式证明
%A Su Yunlin
%A
苏运霖
%J 软件学报
%D 1993
%I
%X This paper purports to present an assertional proof for Peterson-Fischer 2-mutual exclusion algorithm. According to Nancy A. Lynch of MIT1], this was an open problem. Hence the significance of this paper is to fill the gap.
%K 二进程算法
%K 断言式证明
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=4023F23845191E626C746069EA8BD70D&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=38B194292C032A66&sid=8E6AB9C3EBAAE921&eid=11B4E5CC8CDD3201&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=2