Updates of Bisimulation of Graphs


(FRG2/08-09/091, 2009-2010)



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


Under construction.