%0 Journal Article
%T java并发系统的acp模型
%A 刘园 徐宝文？
%J 计算机科学
%D 2003
%X feasibilityandefficiencyofanalyzingconcurrentprogramsmostlyrelyontheprograms′representations.thispaperproposesamodelofjavaconcurrentsystembyusingacp,sothatjavaconcurrentsystemcanbetrans-formedtoprocessalgebraexpressions
%K java语言并发系统acp模型进程线程程序设计
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8595304&flag=1