Now showing items 1-1 of 1

    • Formal verification of a concurrent binary search tree 

      Chen, Xiwen
      In this thesis, we formally verify a simplified version of the non-blocking linearizable binary search tree of Ellen et al., which appeared in the Proceedings of the 29th Annual ACM Symposium on Principles of Distributed ...

      All items in the YorkSpace institutional repository are protected by copyright, with all rights reserved except where explicitly noted.