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 : Thursday, March 21, 2019 - 1:00:46 PM
