L-稳定事件结构和L-domain

• 作者: 寇辉 熊利平
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 数学
• 关键词: L-稳定事件结构 L-domain L-状态 L-映射
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 数学
• 页码范围: 1-5
• 页数: 5页
• 分类号: O153.5
• 字数: 5367字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2013.01.001

摘要

在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质I的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具有性质I的代数L-domain.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	寇辉	四川大学数学学院	25	124	7.0	10.0
2	熊利平	四川大学数学学院	2	0	0.0	0.0