To define the semantics of Communicating Sequential Processes, the notions of trace, assertion trace set, kernel of assertion trace set and process trace aet are introduced in this paper.

通信的顺序进程语言是对分布式系统进行程序设计的一种语言。本文介绍了迹、断言迹集合、断言迹集合的核以及进程迹集合等概念。

youdao

To define the semantics of Communicating Sequential Processes, the notions of trace, assertion trace set, kernel of assertion trace set and process trace aet are introduced in this paper.

通信的顺序进程语言是对分布式系统进行程序设计的一种语言。本文介绍了迹、断言迹集合、断言迹集合的核以及进程迹集合等概念。

youdao