iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/abs-1805-03992.rdf
Yotam M. Y. Feldman et al.: Order out of Chaos: Proving Linearizability Using Local Views. (2018) journals/corr/abs-1805-03992 1805.03992 Order out of Chaos: Proving Linearizability Using Local Views. 5 Yotam M. Y. Feldman 1 Constantin Enea 2 Adam Morrison 0001 3 Noam Rinetzky 4 Sharon Shoham 5 CoRR CoRR abs/1805.03992 2018 provenance information for RDF data of dblp record 'journals/corr/abs-1805-03992' 2018-08-13T16:46:38+0200