Cliff B. Jones

Identifiers

• name variant Cliff B. Jones 0.60 · backfill

Papers (2)

1. Reasoning about concurrent loops and recursion with rely-guarantee rules cs.LO · 2025 · author #3
2. Possible values: exploring a concept for concurrency cs.LO · 2016 · author #1

Mentions

• 2512.06242 #3 · arxiv_oai · confidence 0.70 Cliff B. Jones

Frequent Coauthors

• Ian J. Hayes 2 shared papers
• Larissa A. Meinicke 1 shared papers