This is your work, valued
freestanding. C++
atomic_wait. Sample implementation of C++20 atomic_wait/notify
semaphore. C++
synchronic. Automatically exported from code.google.com/p/synchronic
talks. Alloy
papers.
