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

The orthogonal seismic trace set up on the concept of complex seismic trace is combined with the real seismic trace to form the imaginary part and the real part of the complex seismic trace.

正交地震道建立在复地震道的概念之上，与实地震道构成复地震道的虚部和实部。

youdao

After cracking the code, Buck set out to trace the way connections extend from the olfactory bulb into the olfactory cortex, the part of the brain that processes odor signals.

FORBES: Magazine Article

The oldest university in South Korea, Yonsei can trace its origins to 1885 when a teaching hospital was set up by royal decree.

CNN: ASIANOW - Asiaweek

Its meticulous records from church documents and sagas, a set of semihistorical books, let the 290, 000 residents trace their family trees to the earliest days.

FORBES: Icelandic identifiers