%0 Conference Paper %1 conf/ecoop/KaiserDDLV17 %A Kaiser, Jan-Oliver %A Dang, Hoang-Hai %A Dreyer, Derek %A Lahav, Ori %A Vafeiadis, Viktor %B ECOOP %D 2017 %E Müller, Peter %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik %K dblp %P 17:1-17:29 %T Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2017.html#KaiserDDLV17 %V 74 %@ 978-3-95977-035-4

@inproceedings{conf/ecoop/KaiserDDLV17, added-at = {2019-12-27T00:00:00.000+0100}, author = {Kaiser, Jan-Oliver and Dang, Hoang-Hai and Dreyer, Derek and Lahav, Ori and Vafeiadis, Viktor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2184a1be31f45f1e99460a1d3896a71c2/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2017}, editor = {Müller, Peter}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.17}, interhash = {4697ef5d7860449af0269f56b6dfbaeb}, intrahash = {184a1be31f45f1e99460a1d3896a71c2}, isbn = {978-3-95977-035-4}, keywords = {dblp}, pages = {17:1-17:29}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, timestamp = {2020-01-09T08:05:54.000+0100}, title = {Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2017.html#KaiserDDLV17}, volume = 74, year = 2017 }