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

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