Quote


Voting: - 2 +
I don't have a proof that this is all you need... but in practice this is all you need
— Fred Schneider, explaining the necessary conditions for thread-safe code in CS 4410 · Sept. 17, 2019