Scholarlink

Bisimulation quotients were used in previous work in the context of model refinement and computational problems dealing with matrices over dioids. In this work, we investigate how bisimulation quotients can be replaced in these topics by the weaker construction of simulation quotients.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Simulation Quotients Simulating Bisimulation Quotients

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Roland Glück

摘要

Bisimulation quotients were used in previous work in the context of model refinement and computational problems dealing with matrices over dioids. In this work, we investigate how bisimulation quotients can be replaced in these topics by the weaker construction of simulation quotients.