%0 Journal Article
%T 并发系统的操作时序逻辑描述和验证
%A 蒋慧
%A 张兴元
%J 计算机科学
%D 1997
%I 
%X 1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程序行描述、验证,以期通过逻辑系统的简洁和严密来保证友型并发系统的正确
%K 并发系统
%K 时序逻辑
%K 验证
%K 操作
%K 系统程序
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=63C86D67342A17B1289B78D4373AFBFB&yid=5370399DC954B911&vid=B91E8C6D6FE990DB&iid=B31275AF3241DB2D&sid=C5154311167311FE&eid=771469D9D58C34FF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0