Sanjiva Prasad
Professor
computer science and engineering
The Indian Institutes of Technology, Delhi
India
Biography
Professor, department of computer science and engineering, IIIT, Delhi.
Research Interest
design and implementation of programming languages for mobile distributed computing
Publications
-
Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting. Rahul Agarwal, Mahender Bisht, S. N. Maheshwari and Sanjiva Prasad. ICDCIT 2005, December 2005, Bhubaneswar, India. [Distributed Algorithms]
-
ABC: An Axiomatic Basis of Communication. Martin Karsten, Srinivasan Keshav and Sanjiva Prasad, HotNets 2006. [Network Architectures, Operational Semantics]
-
ABC: An Axiomatic Basis of Communication. Martin Karsten, Srinivasan Keshav , Sanjiva Prasad and M. Beg, Sigcomm 2007. [Network Architectures, Formal Methods (Hoare Logics)]
