Pith. sign in

Pith Integrity · Reference Change Desk · events-only

Reference changes

See every place this corpus cites a work that was later retracted, corrected, withdrawn, or placed under expression of concern: exact quote, event source, and what happened next. No model judges the citation.

A notice on this page means a citing paper's bibliography includes a work with a published scholarly-record event. It is not a judgment on the citing paper.

Scoped to citing paper 2509.06872 · clear

01Events with corpus notices

02One-hop citation notices (secondary index)

Correction Crossref Open
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs

cites 3 Daphna Amit, Noam Rinetzky, Thomas W · ref [2017] · event 2021-05-31 · 2509.06872 · event page · DOI 10.1007/s10009-016-0415-4

Raw extraction · citation context

The existence of refinement mappings.Theoretical Computer Science, 82(2):253-284, 1991. 2 Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson, and Ahmed Rezine. An integrated specification and verification technique for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, 19(5):549-563, Oct 2017. doi:10.1007/s10009-016-0415-4. 3 Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, and Eran Yahav. Comparison under…

Parser render (TeX stripped for reading; raw above is the evidence)

The existence of refinement mappings.Theoretical Computer Science, 82(2):253-284, 1991. 2 Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson, and Ahmed Rezine. An integrated specification and verification technique for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, 19(5):549-563, Oct 2017. doi:10.1007/s10009-016-0415-4. 3 Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, and Eran Yahav. Comparison under…