Synchronization Primitives for a Multiprocessor: A Formal Specification

Open Webpage

Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin

Published: 1987, Last Modified: 25 Jan 2026SOSP 1987EveryoneRevisionsBibTeXCC BY-SA 4.0