ACP Model of Java Concurrency
Java并发系统的ACP模型

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.