sequential programming system
... sequential operation 顺序操作 sequential programming system 顺序程序设计系统 sequential programming 顺序程序设计 ...
基于66个网页-相关网页
·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
应用推荐
模块上移
模块下移
不移动