Updates of Bisimulation of Graphs
PI: Byron Choi
Students: Jintian Deng and Yun Peng
Updates have been an inseparable part of any bisimulation-based systems. However, updates of bisimulation receive less attention when compared to various applications of bisimulation. Worst still, the problem is technically intriguing. In particular, previous theoretical studies on bisimulation report that updates on bisimulation are generally not localized. Hence, a simple update on a graph may result in a recomputation of much of its bisimulation, in the worst case. This necessitates a detailed study on such updates.
Start date: 01-08-2009
Complete date: 31-07-2010