• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual ACM/IEEE Symposium on Logic in Computer Science >Divide and Congruence II: Delay and Weak Bisimilarity
【24h】

Divide and Congruence II: Delay and Weak Bisimilarity

机译：除法和同余二：延迟和弱双相似性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Earlier we presented a method to decompose modal formulas for processes with the internal action τ; congruence formats for branching and η-bisimilarity were derived on the basis of this decomposition method. The idea is that a congruence format for a semantics must ensure that formulas in the modal characterisation of this semantics are always decomposed into formulas in this modal characterisation. Here the decomposition method is enhanced to deal with modal characterisations that contain a modality 〈ε〉〈α〉Φ, to derive congruence formats for delay and weak bisimilarity.
机译：前面我们介绍了一种分解具有内部作用τ的过程的模态公式的方法。在这种分解方法的基础上，得出了分支和η-双相似性的全等格式。想法是，语义的全等格式必须确保此语义的模态表征中的公式始终在该模态表征中分解为公式。在这里，分解方法得到了增强，可以处理包含模态〈ε〉 〈α〉Φ的模态特征，从而导出延迟和弱双相似性的全等格式。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号