Browse by Supervisors

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

2014

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

2013

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

2009

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

This list was generated on Thu May 2 13:38:46 2024 UTC.