Synchronization Primitives for a Multiprocessor: A Formal Specification (1987)

Cached

Download Links

by A.D. Birrell , J.V. Guttag , J. J. Horning , R. Levin
Citations:38 - 6 self