Parallel and Distributed Systems Group

Computer Science Department of Telecom SudParis

A simple proof of the necessity of the failure detector Σ to implement an atomic register in asynchronous message-passing systems

Reading group: Minh Tung Nguyen presented "A simple proof of the necessity of the failure detector Σ to implement an atomic register in asynchronous message-passing systems" (Information Processing Letters, Volume 110, Issue 4) at 4A312 the 29/11/2024 at 11h30.