Citation notice #9428 · 2026-08-10 18:17:55.412781+00:00

Constructive characterisations of the must-preorder for asynchrony

Correction Crossref Open

cites Acta Infor- matica 59(1), 125–162 (2022), which carries a correction notice dated 2021-10-15. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · bibliography line · bibliography index 11

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

02Event

Type: Correction
Source: Crossref
Original DOI: 10.1007/s00236-020-00394-3
Notice DOI: 10.1007/s00236-021-00409-7
Date: 2021-10-15
Title: Correction to: Sound reasoning in tock-CSP
Reasons: ['Correction']
Work: Acta Infor- matica 59(1), 125–162 (2022) (2022)

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.