Distributed systems - Ghosh Sukumar; Ghosh Sukumar (Boca Raton CRC, 2015)
References 501-512p.; Index 513-526p.
Keywords: Coordination algorithms; Program correctness; Interprocess communication