Jose Meseguer

Collaborator

Select publications

  1. Liu, Si, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, Jose Meseguer. "Quantitative Analysis of Consistency in NoSQL Key-value Stores", Leibniz Transactions on Embedded Systems (LITES Special Issue on Quantitative Evaluation of Systems (QEST)), vol. 4, no. 1, 2017.