%0 Journal Article %1 journals/dagstuhl-reports/AlglaveCU16 %A Alglave, Jade %A Cousot, Patrick %A Urban, Caterina %D 2016 %J Dagstuhl Reports %K dblp %N 11 %P 108-128 %T Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports6.html#AlglaveCU16 %V 6

@article{journals/dagstuhl-reports/AlglaveCU16, added-at = {2017-04-12T00:00:00.000+0200}, author = {Alglave, Jade and Cousot, Patrick and Urban, Caterina}, biburl = {https://www.bibsonomy.org/bibtex/2097874a3bb530f93de6b6382e3d8d225/dblp}, ee = {http://dx.doi.org/10.4230/DagRep.6.11.108}, interhash = {0e57189c438b440281d25bc24682a383}, intrahash = {097874a3bb530f93de6b6382e3d8d225}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 11, pages = {108-128}, timestamp = {2017-04-13T11:36:04.000+0200}, title = {Concurrency with Weak Memory Models (Dagstuhl Seminar 16471).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports6.html#AlglaveCU16}, volume = 6, year = 2016 }