Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham e-Theses
You are in:
Depositor Login | Administrator Login

Items where Author is "BARNETT, GRANVILLE"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Qualification Level | No Grouping
Jump to: Doctoral
Number of theses: 1.

Doctoral

BARNETT, GRANVILLE (2014) Reasoning about Locks and Transactions in Concurrent Programs. Doctoral thesis, Durham University.

This list was generated on Thu Nov 21 15:08:33 2024 GMT.

Quick links

Prospective students

Prospective students

Last Modified: Summer 2013 | Disclaimer | Trading name | Powered by EPrints 3