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

L-stable event structure and L-domain

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

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 map- ping）. So the special event structure can represent algebraic L-domain satisfying property I.