| 进程的归约 |
| |
| 引用本文： | 宋哲炫 傅育熙. 进程的归约[J]. 上海交通大学学报, 1996, 30(6): 47-51 |
| |
| 作者姓名： | 宋哲炫 傅育熙 |
| |
| 基金项目： | “八六三”项目,汕头大学计算机学院开放基金 |
| |
| 摘 要： | 给出了进程归约语义的一般方法，并用例子说明归约语义和转换语义的对应关系。
|
| 关 键 词： | 并行理论 归约语义 代数性质 进程演算 |
Reductions for Processes |
| |
| Song Zhexuan, Fu Yuxi. Reductions for Processes[J]. Journal of Shanghai Jiaotong University, 1996, 30(6): 47-51 |
| |
| Authors: | Song Zhexuan Fu Yuxi |
| |
| Affiliation: | Department of Computer Science and Engineering |
| |
| Abstract: | This note attempts to outline a general approach to reductional semantics for processes. Examples are given as to show how to recover transitional semantics from reductional semantics. |
| |
| Keywords: | concurrency theory reductional semantics algebraic property |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
