Specifying and Verifying Persistent Transactional Memory Eleni Vafeiadi Bila. PhD Thesis, University of Surrey. 2023 shelley2024-07-26T09:03:54+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Towards verified file systems. Towards verified file systems. Away From Linear Models of Concurrent Programs Away From Linear Models of Concurrent Programs Ownership-Based Owicki-Gries Reasoning. Ownership-Based Owicki-Gries Reasoning. Canonical Algebraic Generators in Automata Learning Canonical Algebraic Generators in Automata Learning
by