Browse by Supervisors

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 2.

Hu, Liyang (2013) Compiling concurrency correctly: verifying software transactional memory. PhD thesis, University of Nottingham.

Jaskelioff, Mauro Javier (2009) Lifting of operations in modular monadic semantics. PhD thesis, University of Nottingham.

This list was generated on Fri Aug 1 06:46:14 2014 BST.