pith. sign in

Recoverable Identifier

arXiv:2605.07373 · detector doi_compliance · incontrovertible · 2026-05-19 11:53:05.291165+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/s0019-9958(81)90044-5doi:10.1016/S0019-9958(81)90044-5) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

M. Hennessy, A term model for synchronous processes, Inf. Control. 51 (1) (1981) 58--75. https://doi.org/10.1016/S0019-9958(81)90044-5 doi:10.1016/S0019-9958(81)90044-5

Evidence payload

{
  "printed_excerpt": "M. Hennessy, A term model for synchronous processes, Inf. Control. 51 (1) (1981) 58--75. https://doi.org/10.1016/S0019-9958(81)90044-5 doi:10.1016/S0019-9958(81)90044-5",
  "reconstructed_doi": "10.1016/s0019-9958(81)90044-5doi:10.1016/S0019-9958(81)90044-5",
  "ref_index": 127,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}