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. A Formalization of SQL with Nulls. A Formalization of SQL with Nulls. Foundations of Persistent Programming. Foundations of Persistent Programming. View-Based Owicki–Gries Reasoning for Persistent x86-TSO. View-Based Owicki–Gries Reasoning for Persistent x86-TSO.