CISE Safety Tool - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Videos Year : 2015

CISE Safety Tool

Display 

Abstract

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

Domains

Other [cs.OH]

Dates and versions

medihal-01242710 , version 1 (13-12-2015)

Licence

Attribution

Identifiers

  • HAL Id : medihal-01242710 , version 1

Cite

Marc Shapiro, Mahsa Najafzadeh. CISE Safety Tool. 2015. ⟨medihal-01242710⟩
220 View
77 Download

Share

Gmail Facebook X LinkedIn More