| L-稳定事件结构和L-domain |
| |
| 引用本文： | 熊利平,寇辉. L-稳定事件结构和L-domain[J]. 四川大学学报(自然科学版), 2013, 50(1): 1-5 |
| |
| 作者姓名： | 熊利平 寇辉 |
| |
| 作者单位： | 四川大学数学学院,成都,610064 |
| |
| 基金项目： | 国家自然科学基金(10871137) |
| |
| 摘 要： | 在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质Ⅰ的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具有性质Ⅰ的代数L-domain.
|
| 关 键 词： | L-稳定事件结构 L-domain L-状态 L-映射 |
| 收稿时间： | 2011-05-04 |
L-stable event structure and L-domain |
| |
| XIONG Li-Ping and KOU Hui. L-stable event structure and L-domain[J]. Journal of Sichuan University (Natural Science Edition), 2013, 50(1): 1-5 |
| |
| Authors: | XIONG Li-Ping and KOU Hui |
| |
| Affiliation: | College of Mathematics, Sichuan University;College of Mathematics, Sichuan University |
| |
| Abstract: | |
| |
| Keywords: | L-stable event structure L-domain L-state L-mapping |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《四川大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《四川大学学报(自然科学版)》下载全文 |
