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