@inproceedings{DBLP:conf/sosp/BirrellGHL87,
author = {Andrew Birrell and
John V. Guttag and
James J. Horning and
Roy Levin},
title = {Synchronization Primitives for a Multiprocessor: {A} Formal Specification},
booktitle = {Proceedings of the Eleventh {ACM} Symposium on Operating System Principles,
{SOSP} 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11,
1987},
pages = {94--102},
year = {1987},
crossref = {DBLP:conf/sosp/1987},
url = {https://doi.org/10.1145/41457.37509},
doi = {10.1145/41457.37509},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/bib/conf/sosp/BirrellGHL87},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/1987,
editor = {Les Belady},
title = {Proceedings of the Eleventh {ACM} Symposium on Operating System Principles,
{SOSP} 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11,
1987},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/41457},
doi = {10.1145/41457},
isbn = {0-89791-242-X},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/bib/conf/sosp/1987},
bibsource = {dblp computer science bibliography, https://dblp.org}
}