A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Possible values: Exploring a concept for concurrency
2016
Journal of Logical and Algebraic Methods in Programming
An important issue in concurrency is interference. This issue manifests itself in both shared-variable and communication-based concurrency -this paper focuses on the former case where interference is caused by the environment of a process changing the values of shared variables. Rely/guarantee approaches have been shown to be useful in specifying and reasoning compositionally about concurrent programs. This paper explores the use of a "possible values" notation for reasoning about variables
doi:10.1016/j.jlamp.2016.01.002
fatcat:fshkywzuxzcuzogt47sjrtppke