Rajeev Joshi;Jayadev Misra
-;-
A Simple, Object-Based View of Multiprogramming
Formal Methods in System Design
We show that the presence of even a single faulty process makes it impossible to design a strategy for fair allocation of a shared resource.