Reference change · event page

Acta Infor- matica 59(1), 125–162 (2022)

Published notice on a work cited in the Pith corpus. Exact quotes below. No model judges whether any citation was load-bearing.

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.

Correction Crossref 1 open · 1 total · 0 disputed

DOI: 10.1007/s00236-020-00394-3
Notice DOI: 10.1007/s00236-021-00409-7
Event date: 2021-10-15
Machine twin: JSON

01One-hop citing occurrences

Correction Open

Constructive characterisations of the must-preorder for asynchrony

ref [11] · 2501.13002 · notice #9428 · dispute

Raw extraction · bibliography line

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

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

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

Status lifecycle on notices: open → disputed → (response attached on the notice page). Repaired counts matter as much as open counts. There is no “safe,” “invalid,” or “resolved” badge.