%0 Conference Paper %1 conf/sosp/BirrellGHL87 %A Birrell, Andrew %A Guttag, John V. %A Horning, James J. %A Levin, Roy %B SOSP %D 1987 %E Belady, Les %I ACM %K %P 94-102 %T Synchronization Primitives for a Multiprocessor: A Formal Specification. %U http://dblp.uni-trier.de/db/conf/sosp/sosp87.html#BirrellGHL87 %@ 0-89791-242-X

@inproceedings{conf/sosp/BirrellGHL87, added-at = {2023-12-13T09:01:51.000+0100}, author = {Birrell, Andrew and Guttag, John V. and Horning, James J. and Levin, Roy}, biburl = {https://www.bibsonomy.org/bibtex/2b8cc8f62100209bebdb76b71534dfa1b/admin}, booktitle = {SOSP}, crossref = {conf/sosp/1987}, editor = {Belady, Les}, ee = {https://doi.org/10.1145/41457.37509}, interhash = {ca30ee2de4fdbf0482d071b12336cbde}, intrahash = {b8cc8f62100209bebdb76b71534dfa1b}, isbn = {0-89791-242-X}, keywords = {}, note = {Operating System Review 21(5)}, pages = {94-102}, publisher = {ACM}, timestamp = {2023-12-13T09:01:51.000+0100}, title = {Synchronization Primitives for a Multiprocessor: A Formal Specification.}, url = {http://dblp.uni-trier.de/db/conf/sosp/sosp87.html#BirrellGHL87}, year = 1987 }