22 citations · 40 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Some Challenges of Specifying Concurrent Program Components
Ian J. Hayes
The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specifica…
cs.LO2018
Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
Ian J. Hayes, Larissa A. Meinicke
Concurrent program refinement algebra provides a suitable basis for supporting mechanised reasoning about shared-memory concurrent programs in a compositional manner, for example,…