排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义 ,使得这一操作语义与指称语义相对应 ,即 :由指称语义导出的传输系统和操作语义定义的传输系统双模拟 .操作语义的基本思想是 :重新命名被精化的动作并且使所有与之相关的选择都被激发 . 相似文献
2.
Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framework captures the traditional exact equivalence as a special case. Approximate reachability equivalence is coarser than approximate bisimulation equivalence, just like the hierarchy of the exact ones. Both approximate equivalences satisfy the transitive property, consequently, they can be used in transition system approximation. 相似文献
3.
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义,使得这一操作语义与指称语义相对应,即 :由指称语义导出的传输系统和操作语义定义的传输系统双模拟.操作语义的基本思想是 :重新命名被精化的动作并且使所有与之相关的选择都被激发. 相似文献
1