Updates of Bisimulation of Graphs
(FRG2/08-09/091, 2009-2010)
PI: Byron Choi Students: Jintian Deng and Yun Peng Abstract: 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. |
|