22 citations · 44 across the 15 of their papers we have counts for
1 paper · 1 filter
Ian J. Hayes, Larissa A. Meinicke
The rely/guarantee approach supports the stepwise development of concurrent programs. Our goal is to develop a theory for reasoning algebraically about concurrent programs in a rel…