{"schema":"pith.reference-change-event.v1","doi":"10.1007/s10009-016-0415-4","canonical_url":"https://pith.science/event/10.1007/s10009-016-0415-4","json_url":"https://pith.science/event/10.1007/s10009-016-0415-4.json","not_a_judgment":"This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.","primary":{"event_id":209143,"doi":"10.1007/s10009-016-0415-4","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2021-05-31","title":"Correction to: An integrated specification and verification technique for highly concurrent data structures","work_title":"3 Daphna Amit, Noam Rinetzky, Thomas W","work_doi":"10.1007/s10009-016-0415-4","work_arxiv_id":null,"notice_doi":"10.1007/s10009-021-00629-9","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s10009-016-0415-4","json_href":"/event/10.1007/s10009-016-0415-4.json"},"events":[{"event_id":209143,"doi":"10.1007/s10009-016-0415-4","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2021-05-31","title":"Correction to: An integrated specification and verification technique for highly concurrent data structures","work_title":"3 Daphna Amit, Noam Rinetzky, Thomas W","work_doi":"10.1007/s10009-016-0415-4","work_arxiv_id":null,"notice_doi":"10.1007/s10009-021-00629-9","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s10009-016-0415-4","json_href":"/event/10.1007/s10009-016-0415-4.json"}],"flags":[{"id":8438,"status":"open","status_label":"Open","citing_arxiv_id":"2509.06872","citing_title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","ref_index":2017,"evidence_raw":"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 abstraction for verifying linearizability. In Werner Damm and Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, volume 4590 ofLecture Notes in Computer Science, pages 477-490.","evidence_cleaned":"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 abstraction for verifying linearizability. In Werner Damm and Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, volume 4590 ofLecture Notes in Computer Science, pages 477-490","evidence_source_label":"citation context","event_type":"correction","event_type_label":"Correction","source_label":"Crossref","event_date":"2021-05-31","work_title":"3 Daphna Amit, Noam Rinetzky, Thomas W","work_doi":"10.1007/s10009-016-0415-4","event_doi":"10.1007/s10009-016-0415-4","flag_href":"/flags/8438","event_href":"/event/10.1007/s10009-016-0415-4","paper_href":"/paper/2509.06872","created_at":"2026-08-05T00:18:39.400129Z","dispute_note":null,"disputed_at":null,"disputed_by":null}],"flag_count":1,"flags_open":1,"flags_disputed":0,"desk_url":"https://pith.science/flags"}