|
|
计算机科学 2003
java并发系统的acp模型Keywords: java语言并发系统acp模型进程线程程序设计 Abstract: feasibilityandefficiencyofanalyzingconcurrentprogramsmostlyrelyontheprograms′representations.thispaperproposesamodelofjavaconcurrentsystembyusingacp,sothatjavaconcurrentsystemcanbetrans-formedtoprocessalgebraexpressions
|
