Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

Browse the full ESOP paper archive.