Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Bocchino:2011:SND:1926385.1926447
%A Bocchino, Jr., Robert L.
%A Heumann, Stephen
%A Honarmand, Nima
%A Adve, Sarita V.
%A Adve, Vikram S.
%A Welc, Adam
%A Shpeisman, Tatiana
%B Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
%C New York, NY, USA
%D 2011
%I ACM
%K Nondeterministic formal java semantics transactional
%P 535--548
%R 10.1145/1926385.1926447
%T Safe nondeterminism in a deterministic-by-default parallel language
%U http://doi.acm.org/10.1145/1926385.1926447
%@ 978-1-4503-0490-0
@inproceedings{Bocchino:2011:SND:1926385.1926447,
acmid = {1926447},
added-at = {2011-11-22T13:26:43.000+0100},
address = {New York, NY, USA},
author = {{Bocchino, Jr.}, Robert L. and Heumann, Stephen and Honarmand, Nima and Adve, Sarita V. and Adve, Vikram S. and Welc, Adam and Shpeisman, Tatiana},
biburl = {https://www.bibsonomy.org/bibtex/2fda82be95f3262060eb68b962a3611ff/gron},
booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
description = {Safe nondeterminism in a deterministic-by-default parallel language},
doi = {10.1145/1926385.1926447},
interhash = {6ade6a88ce73f9fc1a4d80b1a9efa781},
intrahash = {fda82be95f3262060eb68b962a3611ff},
isbn = {978-1-4503-0490-0},
keywords = {Nondeterministic formal java semantics transactional},
location = {Austin, Texas, USA},
numpages = {14},
pages = {535--548},
publisher = {ACM},
series = {POPL '11},
timestamp = {2011-11-22T13:26:43.000+0100},
title = {Safe nondeterminism in a deterministic-by-default parallel language},
url = {http://doi.acm.org/10.1145/1926385.1926447},
year = 2011
}