4 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Ian J. Hayes, Larissa A. Meinicke, Cliff B. Jones
The objective of this paper is to present general, mechanically verified, refinement rules for reasoning about recursive programs and while loops in the context of concurrency. We…