TY  - GEN
AU  - Ghosh Sukumar
TI  - Distributed systems
SN  - 1584885645
U1  - 681.31.01 
PY  - 2010///
CY  - London
PB  - CRC Press
KW  - Program correctness
ER  -