您的位置： 专家智库 > >

刘晓会

作品数：2 被引量：1H指数：1
供职机构：首都师范大学数学科学学院更多>>
发文基金：北京市教委科技发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 2篇互模拟
  • 2篇不变量
  • 2篇LTS

机构

  • 2篇首都师范大学

作者

  • 2篇刘晓会
  • 1篇樊磊

传媒

  • 1篇计算机工程与...

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
LTS中的弱不变量与限制乘积被引量：1
2007年
本文在文献[1,2]的框架下给出了弱不变量的定义,讨论了其性质及与不变量之间的关系。此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
刘晓会樊磊
LTS中的弱不变量与限制乘积
本文在文献/[1/]，/[2/]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念/(包括弱互模拟、弱同态、不变量等/)之间的关系。其次，本文还引入了迁移系统的限制乘积概念，并以此为工...
刘晓会
文献传递
全选 清除 导出
共1页<1>
聚类工具0