Back to Results
First PageMeta Content
Freedesktop.org / XCB / Inter-process communication / X Window System core protocol / Xlib / X Window System protocols and architecture / Thread / Futures and promises / V / Software / Computing / System software


X Meets Z: Verifying Correctness In The Presence Of POSIX Threads Bart Massey Computer Science Department Portland State University Portland, Oregon USA 97207–0751
Add to Reading List

Document Date: 2003-10-22 17:11:56

Open Document

File Size: 88,33 KB

Share Result on Facebook
UPDATE