Away From Linear Models of Concurrent Programs Daniel Wright. PhD Thesis, University of Kent. 2022 shelley2024-07-26T09:03:54+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Towards verified file systems. Towards verified file systems. View-Based Owicki–Gries Reasoning for Persistent x86-TSO. View-Based Owicki–Gries Reasoning for Persistent x86-TSO. Modularising Verification Of Durable Opacity. Modularising Verification Of Durable Opacity. A Formalization of SQL with Nulls. A Formalization of SQL with Nulls.