Up a level |
Gopinath, K and Pugalia, Anil K and Naidu, KVM (2004) Formal Proof of Impossibility of Reliability in Crashing Protocols. In: 6th International Workshop on Distributed Computing:IWDC 2004 (Lecture Notes in Computer Science), December 27-30, 2004, Kolkata, India, Vol.3326, 347-352.
Naidu, KVM and Ramesh, H (2002) Lower bounds for embedding graphs into graphs of smaller characteristic. In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science. 22nd Conference. Proceedings, 12-14 Dec. 2002, Kanpur, India, pp. 301-310.