%0 Journal Article
%T 并发程序性质的时序分析
%A 贾国平
%A 郑国梁
%J 计算机科学
%D 1998
%I 
%X 不同于顺序程序,并发程序并不能完全主简单的输入／输出关系采说明。并发程序的一个执斤行为可以视为一个无穷状态序列
%K 并发程序
%K 时序分析
%K 安全性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBC713FA3508C8FBE46E2A9DD2FD9ED3&yid=8CAA3A429E3EA654&vid=C5154311167311FE&iid=CA4FD0336C81A37A&sid=FC0714F8D2EB605D&eid=BCA2697F357F2001&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0