Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models. Ben-Baruch, O. & Ravi, S. CoRR, 2020. Paper bibtex @article{DBLP:journals/corr/abs-2012-03692,
author = {Ohad Ben{-}Baruch and
Srivatsan Ravi},
title = {Separation and Equivalence results for the Crash-stop and Crash-recovery
Shared Memory Models},
journal = {CoRR},
volume = {abs/2012.03692},
year = {2020},
url = {https://arxiv.org/abs/2012.03692},
eprinttype = {arXiv},
eprint = {2012.03692},
timestamp = {Wed, 09 Dec 2020 15:29:05 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-03692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"b3uznjWpdBFfGDnEj","bibbaseid":"benbaruch-ravi-separationandequivalenceresultsforthecrashstopandcrashrecoverysharedmemorymodels-2020","author_short":["Ben-Baruch, O.","Ravi, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ohad"],"propositions":[],"lastnames":["Ben-Baruch"],"suffixes":[]},{"firstnames":["Srivatsan"],"propositions":[],"lastnames":["Ravi"],"suffixes":[]}],"title":"Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models","journal":"CoRR","volume":"abs/2012.03692","year":"2020","url":"https://arxiv.org/abs/2012.03692","eprinttype":"arXiv","eprint":"2012.03692","timestamp":"Wed, 09 Dec 2020 15:29:05 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2012-03692.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2012-03692,\n author = {Ohad Ben{-}Baruch and\n Srivatsan Ravi},\n title = {Separation and Equivalence results for the Crash-stop and Crash-recovery\n Shared Memory Models},\n journal = {CoRR},\n volume = {abs/2012.03692},\n year = {2020},\n url = {https://arxiv.org/abs/2012.03692},\n eprinttype = {arXiv},\n eprint = {2012.03692},\n timestamp = {Wed, 09 Dec 2020 15:29:05 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2012-03692.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ben-Baruch, O.","Ravi, S."],"key":"DBLP:journals/corr/abs-2012-03692","id":"DBLP:journals/corr/abs-2012-03692","bibbaseid":"benbaruch-ravi-separationandequivalenceresultsforthecrashstopandcrashrecoverysharedmemorymodels-2020","role":"author","urls":{"Paper":"https://arxiv.org/abs/2012.03692"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/fb4mTQ2KaubkTMLty","dataSources":["dSJbsyXQ4PhvMCxBn","hXWc83FjyajSdsCdG","qMBHJSSNuCWLhNTiC"],"keywords":[],"search_terms":["separation","equivalence","results","crash","stop","crash","recovery","shared","memory","models","ben-baruch","ravi"],"title":"Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models","year":2020}