TY - BOOK AU - Ghosh Sukumar AU - Ghosh Sukumar TI - Distributed systems SN - 9781466552975 (pbk) U1 - D65,8(B):(B288), Q5 PY - 2015/// CY - Boca PB - Raton CRC KW - Coordination algorithms KW - Program correctness KW - Interprocess communication N1 - References 501-512p.; Index 513-526p ER -