并发进程指称语义的几种基于Trace模型的定义方法

Several Trace-Based Denotational Semantic Models for Concurrent Processes

Ｔｒａｃｅ模型是定义并发进程指称语义的基本方法之一．在Ｔｒａｃｅ模型的基础上，为获得更广泛的表达能力，通过进程指称论域的各种变化，派生出了一系列的语义模型．并对于这些模型进行了综述．

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.