1) open-bisimulation
开互模拟
1.
Then, weak open-bisimulation was done to them.
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。
2) bisimulation
互模拟
1.
A Bisimulation Congruence Definition Framework for Mobile Process Calculi;
一个移动进程演算的互模拟同余定义框架
2.
Quantales and Process Semantics of Bisimulation;
Quantale与互模拟的进程语义
3) barbed bisimulation
钩互模拟
4) the bisimulation lattice
互模拟格
1.
The paper defines the syntax and semantics of the asynchronous asymmetric x-calculus , introduces a group of L-bisimilarities and constructs the bisimulation lattice of the asynchronous asymmetric x-calculus.
本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格。
5) weak bisimulation
弱互模拟
1.
Besides,we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.
此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
2.
Secondly,this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。
6) strong bisimilarity
强互模拟
补充资料：“船舶碰撞互有过失”条款
“船舶碰撞互有过失”条款
【“船舶碰撞互有过失”条款]海洋运输货物保险条款规定，运输合同订有“船舶碰撞互有过失条款”并由被保险人负比例责任时，保险人同意给予赔偿的具体规定。按照“有关统一船舶碰撞若干法律规定的国际公约”，船舶碰撞互有过失，两船上的货物损失由过失方各按过失程度比例赔偿。由于一般运输合同规定承运人对船长、船员在驾驶船舶的疏忽不予负责。因此，货物所有人只能向对方追偿其负有的过失比例部分。美国没有参加“有关统一船舶碰撞若干法律规定的国际公约”。按美国法律规定，无辜受害人可向使他受害的任何人要求赔偿其全部损失。货物所有人在美国起诉就可向对方船获得100%的赔偿。事实上，对方船赔偿后，可向承运船舶要求摊回承运船舶应负的过失比例责任部分。承运人为了要求货物所有人退回根据运输合同免责条款、原不应获得的赔偿，在运输合同中特别加上“船舶碰撞互有过失”条款，明确规定货主要向承运人退还他从对方获得的承运人过失比例责任部分的赔偿。根据货运险条款规定，对于被保险人应向其承运人退回的这部分赔偿，其损失可由保险人赔付。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条