| Java并发系统的ACP模型 |
| |
| 引用本文： | 刘园 徐宝文. Java并发系统的ACP模型[J]. 计算机科学, 2003, 30(9): 173-174 |
| |
| 作者姓名： | 刘园 徐宝文 |
| |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096 |
| |
| 摘 要： | 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 which facilitate model checking or some further analysis.
|
| 关 键 词： | Java语言 并发系统 ACP模型 进程 线程 程序设计 |
ACP Model of Java Concurrency |
| |
| LIU Yuan XU Bao-Wen. ACP Model of Java Concurrency[J]. Computer Science, 2003, 30(9): 173-174 |
| |
| Authors: | LIU Yuan XU Bao-Wen |
| |
| Abstract: | 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. |
| |
| Keywords: | ACP Java concurrent system Thread Monitor |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
