%0 Journal Article
%T ACP Model of Java Concurrency<br>Java并发系统的ACP模型
%A LIU Yuan XU Bao-Wen
%A <br>刘园
%A 徐宝文
%J 计算机科学
%D 2003
%I 
%X Feasibility and efficiency of analyzing concurrent programs mostly rely on the programs' representations. This paper proposes a model of Java concurrent system by using ACP.so that Java concurrent system can be transformed to process algebra expressions which facilitate model checking or some further analysis.
%K ACP
%K Java concurrent system
%K Thread
%K Monitor<br>Java语言
%K 并发系统
%K ACP模型
%K 进程
%K 线程
%K 程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=516BF85362EF0F5A&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=9CF7A0430CBB2DFD&sid=DABEF202280E7EF1&eid=0584DB487B4581F4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8