活动日期：2018-11-17
活动时间：15:00
讲座题目：Event structures and domains
报告人：寇辉 教授
地点：长安校区 数学与信息科学学院学术交流厅
主办单位：数学与信息科学学院
讲座内容简介：
In the theory of denotational semantics of programming languages (also called Domain theory, pioneering work due to Dana S. Scott, a Turing Award Winner), various kinds of systems of information and associated partial orders (domains) together with Scott continuous functions have been extensively studied by many authors. A well-known corresponding is that there is a bijection between Scott's information systems and Scott domains.
As a generalization of Scott's information systems, an event structure is a models of some process as events (for example, Petri net) constrained by relations of consistency and enabling. The canonical event domain of an event structure is a Scott domain with property I (called SI-domain for short). The reverse holds when it is a DI-domain. However, it is not true that any SI-domain can be viewed as a canonical event domain. For example, the diamond lattice is not a canonical event domain.
In this talk, we will further study the relation between event structures and domains. We will give new approaches to represent domains by event structures and reveal the category relationships among event domains.
讲座人简介：
寇辉，四川大学数学学院教授，主要从事拓扑学、Domain理论与不确定性的数学方面的研究。2007年入选教育部新世纪优秀人才支持计划。
