3 ms·Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity12 points by luu 12y ago