4. Distributed control algorithms for operating systems
This theme deals with the concurrency and reliability issues in control operations in a distributed operating system. The issues investigated include the following:
(i) Distributed deadlock detection
(ii) Distributed termination detection
(iii) Resilient distributed mutual exclusion
(iv) Self-stabilizing algorithms.
Selected publications