Browse Dept. of Computer Science by Author "Santhanam, Keshav"

  • A New Distributed Transaction Protocol and Its Formal Analysis in Maude 
    Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, Jose (2018)
    Designers of distributed database systems face the choice between performance and consistency guarantees: with stronger consistency guarantees comes higher transactional latency and lower throughput. Certain collaborative ...

    application/pdf

    application/pdfPDF (822kB)