TY - JOUR ID - deploy368 UR - http://deploy-eprints.ecs.soton.ac.uk/368/ A1 - Hayes, Ian J. A1 - Burns, Alan A1 - Dongol, Brijesh A1 - Jones, Cliff B. TI - Comparing Models of Nondeterministic Expression Evaluation Y1 - 2012/// AV - none JF - The Computer Journal VL - (submi ER -