the operational semantics

英美

the operational semantics网络翻译

操作语意

the operational semantics双语例句

This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.

首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。

We define the syntax of three categories of the compensation models in an incremental way, and the operational semantics are given.

递增地定义了这三类补偿模型的语法，同时给出了相应的操作语义。

All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.

我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。

相关单词

tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
trimestern. 三个月；一学期
trigonometryn. 三角学
trapezen. 秋千；吊架
transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
to pass an examination
tights紧身裤袜
tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列【名】（Tier）（英）蒂尔（人名）
telecommunicationsn. 电信，电讯
teachersn. 教师（teacher 的复数形式）
taxationn. 征税，税制；税款