1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.PL2026
Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency
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…
cs.LO2026★ 1 cited
Reasoning about concurrent loops and recursion with rely-guarantee rules
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…
cs.LO2025
Reasoning about expression evaluation under interference
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
Hoare-style inference rules for program constructs permit the copying of expressions and tests from program text into logical contexts. It is known that this requires care even for…