Synchronization primitives for a multiprocessor: a formal specification (0)

by A D Birrell, J V Guttag, J J Horning, R Levin
Venue:In Proceedings of the Eleventh ACM Symposium on Operating Systems Principles