Rely-Guarantee Is Coinductive - - A Proof-Centered Investigation of Inductively Approximated Coinduction -.

John Derrick, Chelsea Edmonds, Andrei Popescu, Jamie Wright

Browse the full ESOP paper archive.