22 citations · 40 across the 16 of their papers we have counts for
1 paper · 2 filters
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…