370 Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B. (2011) Comparing Models of Nondeterministic Expression Evaluation. Technical Report. School of Computing Science, University of Newcastle.