活動日期：2018-11-17

活動時間：15:00

講座題目：Event structures and domains

報告人：寇輝 教授

地點：長安校區(qū) 數(shù)學(xué)與信息科學(xué)學(xué)院學(xué)術(shù)交流廳

主辦單位：數(shù)學(xué)與信息科學(xué)學(xué)院

講座內(nèi)容簡介：

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.

講座人簡介：

寇輝，四川大學(xué)數(shù)學(xué)學(xué)院教授，主要從事拓?fù)鋵W(xué)、Domain理論與不確定性的數(shù)學(xué)方面的研究。2007年入選教育部新世紀(jì)優(yōu)秀人才支持計劃。