CISE Safety Tool - Archive ouverte HAL Accéder directement au contenu
Vidéo Année : 2015

CISE Safety Tool

Afficher 

Résumé

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

Domaines

Autre [cs.OH]

Dates et versions

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

Licence

Identifiants

  • HAL Id : medihal-01242710 , version 1

Citer

Marc Shapiro, Mahsa Najafzadeh. CISE Safety Tool. 2015. ⟨medihal-01242710⟩
224 Consultations
96 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More