Title:On the origin of events: maximal confluent processes

Speaker
:Dr. WANG Xu (United Nations University (UNU-IIST))

Time: 3:00pm, Thursday Nov. 3, 2011

Venue:Lecture Room, Level 3, Building No. 5, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

Abstract:A confluent process (of a given transition system G) is an acyclic confluent transition system that is a `partial unfolding' of G.Intuitively, it represents a concurrent run of G. Given a non-confluent G, how to find maximal confluent processes of G is a theoretical problem having many practical applications.

In this talk we propose an unfolding procedure for extracting maximal confluent processes from transition systems. The key technique we utilise in the procedure is the construction of granular configuration structures (i.e. a form of event structures) based on diamond structures inside transition systems.

Bibliography:Xu Wang received a B.Sc., M.Eng. and Ph.D in Computer Science from Xi'an Jiaotong University and Chinese Academy of Sciences resp. He is
currently an academic staff at United Nations University (UNU-IIST). Previously he also held research positions at the Hong Kong University of Science and Technology, Oxford University, and Birmingham University.