欢迎光临数学与信息科学学院!   

设为首页 | 加入收藏 | 联系我们 | 怀念旧版
您现在的位置: 首页 > 学术活动 > 正文
Event structures and domains

作者:  浏览:

讲座题目:Event structures and domains
讲座人: 寇辉,四川大学数学学院教授
讲座时间:15:00
讲座日期:2018-11-17
地点:长安校区数学与信息科学学院学术交流厅

讲座内容简介:
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年入选教育部新世纪优秀人才支持计划。

 
地址:西安市长安区西长安街620号       邮编:710119 
邮箱:maths@snnu.edu.cn 电话:029-85310232 传真:029-85310277 

陕西师范大学数学与信息科学学院