四川大学学报（自然科学版）2013，Vol.50Issue(1)：1-5,5.DOI:10.3969/j.issn.0490-6756.2013.01.001
L-稳定事件结构和L-domain
L-stable event structure and L-domain
摘要
Abstract
In domain theory, event structure and information system are the main tools of the domain logical representation. According to studying the relation between event structure and the corresponding domain structure, the authors define the L-stable event structures and L-mappings between them and show that the category whose objects are L -stable event structures and morphisms are L -mappings is equivalent to the category (object: algebraic L-domain satisfying property I, morphism: stable mapping). So the special event structure can represent algebraic L -domain satisfying property I.关键词
L-稳定事件结构/L-domain/L-状态/L-映射Key words
L-stable event structure/ L -domain/ L-state/ L-mapping分类
数理科学引用本文复制引用
熊利平,寇辉..L-稳定事件结构和L-domain[J].四川大学学报（自然科学版）,2013,50(1):1-5,5.基金项目
国家自然科学基金(10871137) （10871137）
