%0 Conference Paper %1 conf/esop/PaviottiCPWOB20 %A Paviotti, Marco %A Cooksey, Simon %A Paradis, Anouk %A Wright, Daniel %A Owens, Scott %A Batty, Mark %B ESOP %D 2020 %E Müller, Peter %I Springer %K dblp %P 599-625 %T Modular Relaxed Dependencies in Weak Memory Concurrency. %U http://dblp.uni-trier.de/db/conf/esop/esop2020.html#PaviottiCPWOB20 %V 12075 %@ 978-3-030-44914-8

@inproceedings{conf/esop/PaviottiCPWOB20, added-at = {2023-12-06T00:00:00.000+0100}, author = {Paviotti, Marco and Cooksey, Simon and Paradis, Anouk and Wright, Daniel and Owens, Scott and Batty, Mark}, biburl = {https://www.bibsonomy.org/bibtex/25554b4fe4a47b8dafc84991e55230e4d/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2020}, editor = {Müller, Peter}, ee = {https://doi.org/10.1007/978-3-030-44914-8_22}, interhash = {73a794dc6f2e0ed0dba05b4cb3fb60a6}, intrahash = {5554b4fe4a47b8dafc84991e55230e4d}, isbn = {978-3-030-44914-8}, keywords = {dblp}, pages = {599-625}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Modular Relaxed Dependencies in Weak Memory Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2020.html#PaviottiCPWOB20}, volume = 12075, year = 2020 }