摘要
给出了进程归约语义的一般方法．并用例子说明归约语义和转换语义的对应关系．
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.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1996年第6期47-51,共5页
Journal of Shanghai Jiaotong University
基金
"八六三"项目
汕头大学计算机学院开放基金
关键词
并行理论
归约语义
代数性质
进程演算
concurrency theory
reductional semantics
algebraic property
