{"schema":"pith.reference-change-event.v1","doi":"10.1007/s00236-020-00394-3","canonical_url":"https://pith.science/event/10.1007/s00236-020-00394-3","json_url":"https://pith.science/event/10.1007/s00236-020-00394-3.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":134185,"doi":"10.1007/s00236-020-00394-3","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2021-10-15","title":"Correction to: Sound reasoning in tock-CSP","work_title":"Acta Infor- matica 59(1), 125–162 (2022)","work_doi":"10.1007/s00236-020-00394-3","work_arxiv_id":null,"notice_doi":"10.1007/s00236-021-00409-7","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s00236-020-00394-3","json_href":"/event/10.1007/s00236-020-00394-3.json"},"events":[{"event_id":134185,"doi":"10.1007/s00236-020-00394-3","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2021-10-15","title":"Correction to: Sound reasoning in tock-CSP","work_title":"Acta Infor- matica 59(1), 125–162 (2022)","work_doi":"10.1007/s00236-020-00394-3","work_arxiv_id":null,"notice_doi":"10.1007/s00236-021-00409-7","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s00236-020-00394-3","json_href":"/event/10.1007/s00236-020-00394-3.json"}],"flags":[{"id":9428,"status":"open","status_label":"Open","citing_arxiv_id":"2501.13002","citing_title":"Constructive characterisations of the must-preorder for asynchrony","ref_index":11,"evidence_raw":"Baxter, J., Ribeiro, P., Cavalcanti, A.: Sound reasonin g in tock-CSP. Acta Infor- matica 59(1), 125–162 (2022). https://doi.org/10.1007/s00236-020-00394-3 , https://doi.org/10.1007/s00236-020-00394-3","evidence_cleaned":"Baxter, J., Ribeiro, P., Cavalcanti, A.: Sound reasonin g in tock-CSP. Acta Infor- matica 59(1), 125–162 (2022). https://doi.org/10.1007/s00236-020-00394-3, https://doi.org/10.1007/s00236-020-00394-3","evidence_source_label":"bibliography line","event_type":"correction","event_type_label":"Correction","source_label":"Crossref","event_date":"2021-10-15","work_title":"Acta Infor- matica 59(1), 125–162 (2022)","work_doi":"10.1007/s00236-020-00394-3","event_doi":"10.1007/s00236-020-00394-3","flag_href":"/flags/9428","event_href":"/event/10.1007/s00236-020-00394-3","paper_href":"/paper/2501.13002","created_at":"2026-08-10T18:17:55.412781Z","dispute_note":null,"disputed_at":null,"disputed_by":null}],"flag_count":1,"flags_open":1,"flags_disputed":0,"desk_url":"https://pith.science/flags"}