Here is the section 3.5 of Nancy Lynch’s 1989 paper – A Hundred Impossibility Proofs for Distributed Computing, which is profound:| Lu’s blog
