1 paper
Eli Gafni, Petr Kuznetsov
The paper proposes an alternative proof that Omega, an oracle that outputs a process identifier and guarantees that eventually the same correct process identifier is output at all…