Searching for "Synchronization Primitives for a Multiprocessor A Formal Specification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Synchronization Primitives for a Multiprocessor: A Formal Specification
by A.D. Birrell, J.V. Guttag, J. J. Horning, R. Levin — 1987
…Synchronization Primitives for a Multiprocessor: A Formal Specification A. D. Birrell, J. V…
Cited by 36 (6 self) – Add To MetaCart

Classified Larch Bibliography
by Stephen J. Garland, Jeannette M. Wing, Amy Moormann, Zaremski Unintrusive, W. J. Toetenel, Vdm Formal, Software Development Methods, Department Of Electrical, Mark T. V, Specification-based Analysis — 1996
…. Birrell, John V. Guttag, James J. Horning, and Roy Levin. Synchronization primitives for a multiprocessor…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB