... assertion statement 断言语句 assertion trace set 断言迹集合 assign clause 赋值子句 ...
基于16个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
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
应用推荐
模块上移
模块下移
不移动