» contact hp

HP Labs Technical Reports

printable version

» hp labs


»	about hp labs
»	research programs
»	people
»	worldwide sites


»	downloads
»	technical reports


»	news and events
»	careers @ hp labs


»	contact hp labs

Click here for full text:
Synchronization primitives for a multiprocessor : a formal specification.

Birrell, A. D.; Guttag, J. V.; Horning, J. J.; Levin, R.
SRC-RR-20
Keyword(s): Multiprocessors; Synchronization; Surfaces-Data processing.
21 Pages
Back to Index



privacy statement	using this site means you accept its terms	feedback to webmaster


© 1994-2002 Hewlett-Packard Company