Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Comparing Degrees of Non-Determinism in Expression Evaluation
Type
D - Journal article
Title of journal
The Computer Journal
Article number
-
Volume number
56
Issue number
6
First page of article
741
ISSN of journal
1460-2067
Year of publication
2013
Number of additional authors
3
Additional information
<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).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
