摘要
Ｔｒａｃｅ模型是定义并发进程指称语义的基本方法之一．在Ｔｒａｃｅ模型的基础上，为获得更广泛的表达能力，通过进程指称论域的各种变化，派生出了一系列的语义模型．并对于这些模型进行了综述．
Trace model is a basic method in defining the denotational semantics for concurrent processes. To be more expressive, several trace-based models have been derived by extending the denotational domains of processes.
出处
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
1996年第1期49-52,共4页
Journal of Lanzhou University(Natural Sciences)
关键词
形式语言
指称语义
Trace模型
进程论域
distributive control concurrent control formal languages denotatioal semantics Trace model processes domain semantic functions
