Output details
11 - Computer Science and Informatics
Newcastle University
Comparing Degrees of Non-Determinism in Expression Evaluation
<10> The results here come from a collaboration with Hayes (Queensland) and Burns (York) - the convergence of ideas is surprising. Hayes had been working on "non-deterministic" expressions when he took a sabbatical in Newcastle, I described my entirely separate idea of a "possible values" notion for specification languages - this concept itself is completely novel. The exciting observation is that the two separate ideas can be mathematically related. This is one of a number of ideas that will be pursued in Hayes' Australian Research Council grant “Understanding Concurrent Programs using Rely-Guarantee Thinking” (on which I am a Partner Investigator).