Browse by Supervisors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | No Grouping
Jump to: C | H | J
Number of items: 3.

C

Capper, John (2014) Semantic methods for functional hybrid modelling. PhD thesis, University of Nottingham.

H

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

J

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

This list was generated on Sun Nov 24 13:33:30 2024 UTC.