Inproceedings,
Logical relations for fine-grained concurrency.
A. Turon, J. Thamsborg, A. Ahmed, L. Birkedal, and D. Dreyer.POPL, page 343-356. ACM, (2013)
Meta data
- BibTeX key
- conf/popl/TuronTABD13
- entry type
- inproceedings
- booktitle
- POPL
- year
- 2013
- pages
- 343-356
- publisher
- ACM
- crossref
- conf/popl/2013
- ee
- https://www.wikidata.org/entity/Q60142677
- isbn
- 978-1-4503-1832-7
- url
- http://dblp.uni-trier.de/db/conf/popl/popl2013.html#TuronTABD13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/popl/TuronTABD13
%A Turon, Aaron Joseph
%A Thamsborg, Jacob
%A Ahmed, Amal
%A Birkedal, Lars
%A Dreyer, Derek
%B POPL
%D 2013
%E Giacobazzi, Roberto
%E Cousot, Radhia
%I ACM
%K dblp
%P 343-356
%T Logical relations for fine-grained concurrency.
%U http://dblp.uni-trier.de/db/conf/popl/popl2013.html#TuronTABD13
%@ 978-1-4503-1832-7
@inproceedings{conf/popl/TuronTABD13,
added-at = {2022-07-05T00:00:00.000+0200},
author = {Turon, Aaron Joseph and Thamsborg, Jacob and Ahmed, Amal and Birkedal, Lars and Dreyer, Derek},
biburl = {https://www.bibsonomy.org/bibtex/25f3c6c119212b99fcf4e3f544d2d3d15/dblp},
booktitle = {POPL},
crossref = {conf/popl/2013},
editor = {Giacobazzi, Roberto and Cousot, Radhia},
ee = {https://www.wikidata.org/entity/Q60142677},
interhash = {b1d0db6f81ecd5c4e00dd65f637d8c3e},
intrahash = {5f3c6c119212b99fcf4e3f544d2d3d15},
isbn = {978-1-4503-1832-7},
keywords = {dblp},
pages = {343-356},
publisher = {ACM},
timestamp = {2024-04-09T13:30:19.000+0200},
title = {Logical relations for fine-grained concurrency.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2013.html#TuronTABD13},
year = 2013
}