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.
IPL'94 PC'97 CSC'91 Techreport'97 Techreport'89