摘要： 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 trans-formed to process algebra expressions

关键词: Java语言 并发系统 ACP模型 进程 线程 程序设计