Description : Demo video of the CISE Tool. See "'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems." A. Gotsman et al., POPL, Jan. 2016, and "Putting Consistency back into Eventual Consistency." V. Balegas et al., EuroSys, Apr. 2015
https://hal.inria.fr/medihal-01242710
Contributor : Marc Shapiro
<>
Submitted on : Sunday, December 13, 2015 - 11:42:52 PM
Last modification on : Friday, January 8, 2021 - 5:46:03 PM