Report copyright - Chapar: Certified Causally Consistent Distributed Key ...adam.chlipala.net/Papers/ChaparPOPL16/ChaparPOPL16.pdfPACELC [3] formulates a trade-off between strong consistency and latency
Please pass captcha verification before submit form