Formal Proof of Impossibility of Reliability in Crashing Protocols

K. Gopinath, Anil K. Pugalia, K. V. M. Naidu. Formal Proof of Impossibility of Reliability in Crashing Protocols. In Nabanita Das, Arunabha Sen, Sajal K. Das, Bhabani P. Sinha, editors, Distributed Computing - IWDC 2004, 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings. Volume 3326 of Lecture Notes in Computer Science, pages 347-352, Springer, 2004. [doi]

Authors

K. Gopinath

This author has not been identified. Look up 'K. Gopinath' in Google

Anil K. Pugalia

This author has not been identified. Look up 'Anil K. Pugalia' in Google

K. V. M. Naidu

This author has not been identified. Look up 'K. V. M. Naidu' in Google