Article,
The Reads-From Equivalence for the TSO and PSO Memory Models.
T. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, and V. Toman.CoRR, (2020)
Meta data
- BibTeX key
- journals/corr/abs-2011-11763
- entry type
- article
- year
- 2020
- journal
- CoRR
- volume
- abs/2011.11763
- ee
- https://arxiv.org/abs/2011.11763
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-11763
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2011-11763
%A Bui, Truc Lam
%A Chatterjee, Krishnendu
%A Gautam, Tushar
%A Pavlogiannis, Andreas
%A Toman, Viktor
%D 2020
%J CoRR
%K dblp
%T The Reads-From Equivalence for the TSO and PSO Memory Models.
%U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-11763
%V abs/2011.11763
@article{journals/corr/abs-2011-11763,
added-at = {2020-11-26T00:00:00.000+0100},
author = {Bui, Truc Lam and Chatterjee, Krishnendu and Gautam, Tushar and Pavlogiannis, Andreas and Toman, Viktor},
biburl = {https://www.bibsonomy.org/bibtex/2e5219e85a348ad7ff275f8a76da3541d/dblp},
ee = {https://arxiv.org/abs/2011.11763},
interhash = {fb915fd78621f23e99c697015bfa1bba},
intrahash = {e5219e85a348ad7ff275f8a76da3541d},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-11-27T11:35:27.000+0100},
title = {The Reads-From Equivalence for the TSO and PSO Memory Models.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-11763},
volume = {abs/2011.11763},
year = 2020
}