John Derrick, Chelsea Edmonds, Andrei Popescu 0001, Jamie Wright. Rely-Guarantee Is Coinductive - - A Proof-Centered Investigation of Inductively Approximated Coinduction -. In Robbert Krebbers, editor, Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I. Volume 16501 of Lecture Notes in Computer Science, pages 220-251, Springer, 2026. [doi]
Abstract is missing.