{"as_of":"2026-08-11T09:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:eb63eb78b32d7dbca475a2db041a16098c85f84b49ecdfa2d6173e66cb310f0e","coverage":[{"denominator":160,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T16:38:19.350716Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2501.13002/citation-record","integrity":"/paper/2501.13002/integrity","json":"/paper/2501.13002/citation-record.json","paper":"/paper/2501.13002"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:18.974681Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:18.974681Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:b2917337cb4c492a0b352859f8a9a2c84942f7b6b9f9ea29b54c7a6699bd998b","observation_id":"7f32ade4-74ea-4688-8567-7c47b860b66b","resolution":{"observed_at":"2026-08-10T16:38:18.974681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:18.979418Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:18.979418Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:a1a7c591d3cf4ef74d4e768010273ec523cec6033135233308366f25bd303f22","observation_id":"57ca264f-a5a1-4a85-b0d3-5f2ec13b058f","resolution":{"observed_at":"2026-08-10T16:38:18.979418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2007.11.010","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:20.024353Z","title":"In: Sch¨ urmann, C","venue":null,"work_id":"49491d70-a554-4cb8-9716-2984c15bede1","year":2004},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:18.983900Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:4c8660a4207f0e81ebb278b8b70367e13bd8b233f09b116de859b40514b55bdf","observation_id":"27b4251e-9207-42cb-816b-6aee5d4069a6","resolution":{"observed_at":"2026-08-10T16:38:20.028194Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:18.987902Z","title":"In: Montanari, U., Sassone, V","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:18.987902Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:64a32e9a6dffa93e4f1601f06471ec51765b9a69e95636f5f0555d171bcd934a","observation_id":"96daccd7-f784-49a0-baaa-2c79a70fe6e2","resolution":{"observed_at":"2026-08-10T16:38:18.987902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:18.992061Z","title":"Theoretical Computer Science 195, 291–324 (1998)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:18.992061Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:9336cfae30ef2ee69aaf1749f00d34efe1ea69f4ec56fb0e0d0f33f728e6ed47","observation_id":"21651225-d49b-40ed-97df-86694942122e","resolution":{"observed_at":"2026-08-10T16:38:18.992061Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:18.996234Z","title":"Master’s thesis, Massachusetts Institute of Technology (J un 2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:18.996234Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:08354666c471fc95a382c4535a1e0d252121cfb5187c39dbaa0284efe51bc516","observation_id":"3f217783-bdf1-4293-b476-e158d58bb542","resolution":{"observed_at":"2026-08-10T16:38:18.996234Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.000326Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.000326Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:221ccde6078428656b1e73065520092eb597722b31b67dcb20fbfe8662dcc86b","observation_id":"1619ce4e-cdb0-4d5d-b704-1176b873cf2c","resolution":{"observed_at":"2026-08-10T16:38:19.000326Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.004009Z","title":"In: Bodei, C., Ferrari, G., Priam i, C","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.004009Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:c5809c34658a5b392889155c1725e437f9a54e128dd86193771685eae4fb1f8d","observation_id":"d2669a73-ef55-4720-893f-76a2adc3bd23","resolution":{"observed_at":"2026-08-10T16:38:19.004009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6089.18361","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:21.113225Z","title":"In: Kutsia, T., Schreiner, W., Fern ´ andez, M","venue":null,"work_id":"1c38ccc7-90f0-4b7d-986c-324090f249e7","year":2010},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.011539Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:ec0ad6e6dfcc146f1c5c8f170686843c27cb072bceca4ada96d36e6ba215bb11","observation_id":"0d8c81f1-77fe-4430-a006-a6e476c6d0a3","resolution":{"observed_at":"2026-08-10T16:38:21.118988Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.015231Z","title":"College Pub- lications (2022), https://www.collegepublications.co.uk/logic/mlf/?00035, chapter 11","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.015231Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:2fd42e0dddfd85eb92b1e966406531803057bbc3dbdb553eed12214f078358be","observation_id":"430e58e5-1b1a-449f-a979-d6f9331283f3","resolution":{"observed_at":"2026-08-10T16:38:19.015231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-020-00394-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:20.003044Z","title":"Acta Infor- matica 59(1), 125–162 (2022)","venue":null,"work_id":"bdf2fc1b-87b1-47ad-949f-ccd652c16508","year":2022},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.018599Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:123b1c598a8437513abf454e688193e2dc77782052becd7679bce449883ec154","observation_id":"42ff5fb5-8194-40d3-9f34-6e84146a9f13","resolution":{"observed_at":"2026-08-10T16:38:20.006814Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-10T18:17:55.412781+00:00","source":"paper_reference_links","state":"open"},"event_date":"2021-10-15","event_type":"correction","notice_doi":"10.1007/s00236-021-00409-7","provenance":{"observed_at":"2026-07-11T02:55:35.009442+00:00","source":"crossref","source_record_id":"10.1007/s00236-021-00409-7->10.1007/s00236-020-00394-3:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.022810Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.022810Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:7f9dce14d2e21795f9bf45ee0405cd26336a4e3577b235e2555c6d31ee129eb0","observation_id":"2de1e8d1-12f9-4830-87bc-6e191666c23a","resolution":{"observed_at":"2026-08-10T16:38:19.022810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.14617145","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.993356Z","title":"https://doi.org/10.5281/zenodo.14617145, https://doi.org/10.5281/zenodo.10.5281/zenodo.14617145 26","venue":null,"work_id":"5213abc0-2af1-4cc8-8ee4-88269ee90394","year":2025},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.026262Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:6bec0ce38e92d7f2eda7e8ba467afc1bc58804a017fa8b716790352578d7de20","observation_id":"9541ead3-98ca-4be5-a5c2-d09e55eb9469","resolution":{"observed_at":"2026-08-10T16:38:19.996500Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.029631Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.029631Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:aa2006c1f74c43c3f4c44024c7143f5bb82d587cc264ba784f3a984233d765bf","observation_id":"30a9b331-4249-4646-b661-161eb0f09fcd","resolution":{"observed_at":"2026-08-10T16:38:19.029631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.033376Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.033376Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:d0d0723d0bb073893d91d695715fb7eda1b5b4b41b17da32574c7631292d6a84","observation_id":"7e8d754c-9c22-462e-9750-9b53bcfb1aa1","resolution":{"observed_at":"2026-08-10T16:38:19.033376Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129514000243","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.970251Z","title":null,"venue":null,"work_id":"23fd6ef1-8887-40ac-ab0d-b5fffa0e5a85","year":2016},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.037587Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:59abb7865aa5e4699efc2d800546d85da0872b6385c373d26485a3730d61ed69","observation_id":"5e2159d2-89dc-4fdb-9be3-bc3ebac2a2db","resolution":{"observed_at":"2026-08-10T16:38:19.973905Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(92)90185-i","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.960211Z","title":null,"venue":null,"work_id":"ee23b0d1-ca5a-4a50-b633-0dabaa748ed8","year":1992},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.041213Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:b8e38cd8b4bdd18489ee7e5db98babc36447125be1bd8c694695613bda2da196","observation_id":"e47c83c9-1da5-4aa8-8b99-184f34ba24c2","resolution":{"observed_at":"2026-08-10T16:38:19.963545Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.045170Z","title":"In: Dowek, G","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.045170Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:27fb3bfd0360ec1a485776abc2daccc65d2e4543fc59843ae40787d0985d8006","observation_id":"7f316910-d0c3-4b26-90c3-856ad565b662","resolution":{"observed_at":"2026-08-10T16:38:19.045170Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-03542-0_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.949887Z","title":"In: Shan, C","venue":null,"work_id":"bcc902d2-41ed-4c71-b083-9f44e1b96895","year":2013},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.049011Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:5231cd2a125e17572823cb941b235a08ebc35f8d38d9ada14ab54497e0cd7a46","observation_id":"05881a84-d255-4ed7-b2c1-77cd6709be3d","resolution":{"observed_at":"2026-08-10T16:38:19.953315Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.052772Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.052772Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:99871157b1b54820a57c7d4c9caf6a7903b64ef291a2a4377a81e1489dc8f079","observation_id":"139f262a-c7a0-48f1-a166-76b746d4f4a6","resolution":{"observed_at":"2026-08-10T16:38:19.052772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2006.05.030","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.931508Z","title":null,"venue":null,"work_id":"81c9ee52-c9e3-45d0-a8a0-9e46b54d91bc","year":2006},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.056439Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:7a9551c4620ebd352ec7884bec0715bcafbb7ef7d6d3948956c10357b5d5dbb1","observation_id":"e92b00c0-7e8a-48d8-a636-b48d9985b4d2","resolution":{"observed_at":"2026-08-10T16:38:19.935973Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1995.1114","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:21.046428Z","title":null,"venue":null,"work_id":"db721fc5-dcae-40ab-8e5d-21e0a7852821","year":1995},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.060395Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:7cf74ba1fa01671203e3127affa1a413b855e6aed07fdd68010a5a2ffd6a04b4","observation_id":"ebad0950-df2a-49fd-9669-13e9e9f80d51","resolution":{"observed_at":"2026-08-10T16:38:21.051488Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2001.3080","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:20.964171Z","title":null,"venue":null,"work_id":"15ff57ce-0941-4dc2-a9dc-8b62ebc44b90","year":2002},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.064128Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:091d488f5d1c179c6916f104d69044effa57eb2f5f9bba014927a93237db7f0f","observation_id":"17e91e42-3854-42e1-808b-6f2d5886bfeb","resolution":{"observed_at":"2026-08-10T16:38:20.971974Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.068009Z","title":"Research Re port RR-1702, INRIA (1992), https://hal.inria.fr/inria-00076939","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.068009Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:c1b673c1289b0472b9e19349340fe7e2502b1947bc8b687290eb46a185e28e34","observation_id":"ad393d49-5597-461b-a098-d38857b79e42","resolution":{"observed_at":"2026-08-10T16:38:19.068009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1010064516533","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.920237Z","title":null,"venue":null,"work_id":"ff73cee1-e394-4af0-9e81-75c2669acd4e","year":1998},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.071793Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:2366cdd776a58e53442008cc931c5b25fcc9f8f563e70d269c1596b50d22b575","observation_id":"845e283d-0c41-4d41-84b6-b126b13237b9","resolution":{"observed_at":"2026-08-10T16:38:19.924030Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-61064-2_45","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.909420Z","title":"In: Kirchner, H","venue":null,"work_id":"2e5dcda1-b18b-4121-baa7-7dc2a68a1b92","year":1996},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.075766Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:e73206463f37687358529541e720975cfd2de9ddeb6d2cc0f20f2cbb229b445b","observation_id":"9c483bbe-aa7a-4e40-aea6-6e317aabfebc","resolution":{"observed_at":"2026-08-10T16:38:19.913217Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.079622Z","title":"In: FOSSACS (2021) 27","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.079622Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:c93a195db0c5812e91f214639c3d0a40b7660e4e0027be8ae5b1e10b171d262f","observation_id":"368cd737-9978-43cb-8a39-5b653f4ce9f7","resolution":{"observed_at":"2026-08-10T16:38:19.079622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.083191Z","title":"In: 36th Annual ACM/IEEE Symposium on L ogic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 20 21","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.083191Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:7144329a96afb6148407d33ac065961e3d062e2a13faa29969c3b37f4f20dcd3","observation_id":"644a5293-a72a-43da-a709-019d2edd838a","resolution":{"observed_at":"2026-08-10T16:38:19.083191Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.fscd.2016.15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.897668Z","title":"In: Kesner, D., Pientka, B","venue":null,"work_id":"1722c7da-8e8e-44de-aeb7-7382a0557630","year":2016},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.086847Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:b0b35bcc9c8254209ca625ad3bac394fff5ef5b1fdd4457b9c7801b257d89e45","observation_id":"5e2e3cef-99a6-4d46-b907-f66fd8777ffd","resolution":{"observed_at":"2026-08-10T16:38:19.901575Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.090887Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.090887Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:103f194d79e34a94ddc20077dbe232d12200cbe5419ebefa3b31e554eea641ed","observation_id":"5d060f9d-45e0-42a7-9966-b277dc41b7fe","resolution":{"observed_at":"2026-08-10T16:38:19.090887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0036899","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.880265Z","title":"In: D ´ ı az, J","venue":null,"work_id":"d7803e16-0144-46fe-b07c-95ec4ac78e91","year":1983},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.094665Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:3459f5384156a2ecaf677c6a1389037af7df3b1a6714731e05a4fa8f62578c68","observation_id":"3611edb7-34ef-4201-bf07-6ae794e951bc","resolution":{"observed_at":"2026-08-10T16:38:19.884050Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.098583Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.098583Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:ceba33a8bb633767d38384c026739f0c5bef689dd786da83d9bcb2d8de47f6d4","observation_id":"6995ff86-0ab7-4fc6-a3e8-c7dfff1c0088","resolution":{"observed_at":"2026-08-10T16:38:19.098583Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.102157Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.102157Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:41dcfe59cdb8cd61ee04737d5384218e4c4f3e4eb34021e02770b2ed7c36c4b6","observation_id":"aa6a5e67-9dc6-4386-a7d8-0ce4669c798f","resolution":{"observed_at":"2026-08-10T16:38:19.102157Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.105754Z","title":"Master thesis, University of Malta (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.105754Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:0790f97487d44c807e7853ed531d1e0e99184c4007bf78c496e2789d2d22bb9b","observation_id":"d105e735-4305-4008-96b8-671e5c980a86","resolution":{"observed_at":"2026-08-10T16:38:19.105754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.108898Z","title":"In: Porto, A., L´ opez-Fraguas, F.J","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.108898Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:61caff03b2b053596faf7a348c7bbb881ba0b419a5a481abc5c2a8b3ca3f2bae","observation_id":"9970c5f7-50e4-4dc6-8a32-875fe48c8f8a","resolution":{"observed_at":"2026-08-10T16:38:19.108898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8917.15389","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:20.758064Z","title":"ACM Trans","venue":null,"work_id":"374ff9f7-f700-4926-a593-773b21f01b4e","year":2009},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.112201Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:98d852b804d9c9bcb7e07afc08f46a3ee167f8a0f8f1762a6ecadc27fefd1487","observation_id":"4840a0f0-465a-4615-aef5-c7b03e83ae4c","resolution":{"observed_at":"2026-08-10T16:38:20.762672Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-24117-8_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.862281Z","title":"In: Palmigiano, A., Sadrzadeh, M","venue":null,"work_id":"73f44d97-e9ce-45fb-872b-0c912d0e113a","year":2023},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.115777Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:61782cb14b9b3a0f432d727eda4332aa13b674c09fd15e0d007c03405d79776a","observation_id":"7644217e-63c8-4b8b-a78a-5b49344e7daa","resolution":{"observed_at":"2026-08-10T16:38:19.866110Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.119251Z","title":"In: Arvind, V., Ramanujam, R","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.119251Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:b44140842f1a9e738fb8d98888b46bf79288a5efb7d5c9d3077bddae6507d7f8","observation_id":"806e8d55-934c-49db-97d1-99f6beac2a40","resolution":{"observed_at":"2026-08-10T16:38:19.119251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.125910Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.125910Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:86ac0cb3fb882dd2313047f334d40c8a97072061d3e19fddcbae8a30bf743b39","observation_id":"b8fe34a5-b652-4654-a337-496d014eccff","resolution":{"observed_at":"2026-08-10T16:38:19.125910Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-49382-2_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.851459Z","title":null,"venue":null,"work_id":"5cbfc900-b253-4ce1-aec0-666b556cf294","year":1998},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.122487Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:a7903c1ab3be1461acaa912176fcdf02df7637225e9d69eccb3a1bb04a0f5730","observation_id":"4627b25e-c366-4253-b571-cd4012f6464a","resolution":{"observed_at":"2026-08-10T16:38:19.855330Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-52148-8_2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.840560Z","title":"In: Sifakis, J","venue":null,"work_id":"4e4dc5e2-4792-484c-bc90-29b8b80aa52d","year":1989},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.132345Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:ff23c86805f45722a925735338a9015b425213b843191ce1a49836f2c6f91cb4","observation_id":"b2d2b4fa-d70c-4b86-9186-12c657fe6b4b","resolution":{"observed_at":"2026-08-10T16:38:19.844190Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.128882Z","title":"In: LICS (1991)","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.128882Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:e9d73b238c39ee42c3a2b1496bf2f20a2e28e40f870a91b0f716ee26a86175b0","observation_id":"4adda85e-12ed-4bb7-9757-c8558a50fea6","resolution":{"observed_at":"2026-08-10T16:38:19.128882Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.139479Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.139479Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:b34c683d3f213255f53fe2f8a98b36f29d431b35f164d02ad319445edbcc8f52","observation_id":"6c707e7c-5126-4e89-b60d-76d712ff5da2","resolution":{"observed_at":"2026-08-10T16:38:19.139479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/32.685256","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.830030Z","title":"IEEE Transactions on Software Enginee ring 24(5), 315–330 (1998)","venue":null,"work_id":"30fb19b8-ff1d-4543-b2d0-72cee1d0b710","year":1998},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.136003Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:dbf7be498073caef4d23c057bf415419594e618a83dfa0016af5cb04ab9b54b2","observation_id":"86132496-4472-48cd-95e3-0363b3eb2e25","resolution":{"observed_at":"2026-08-10T16:38:19.833434Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(99)00339-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.803502Z","title":null,"venue":null,"work_id":"0d48598a-aa89-4a19-a8cc-11d95db5fbf0","year":2000},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.146057Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:83a3665ae29c9069314483154243bc3ee7c215e2e3fe1425aff0b3aee6b92fae","observation_id":"1eb557d8-5d6a-4f5d-ba91-62e3d4540012","resolution":{"observed_at":"2026-08-10T16:38:19.806830Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-19(1:1)2023","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.813495Z","title":null,"venue":null,"work_id":"a5e9d421-0970-4af9-bc63-da49c03fd736","year":2023},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.143002Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:80e77f0138053d7d353662667301aeec18aea2344e57f518a63e57077a173c94","observation_id":"b2ae3ed1-d4d2-4d84-89ef-33196dc6733d","resolution":{"observed_at":"2026-08-10T16:38:19.816790Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.152593Z","title":"Oxford logic gui des, Clarendon Press (2000), https://books.google.fr/books?id=JVFzknbGBVAC","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.152593Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:3893a98c6cfa4adf39e4f5006538121534d7a7bc948126dd1c47f7951e350158","observation_id":"eca89ed5-0d6b-4c10-9d8c-f28803522a4e","resolution":{"observed_at":"2026-08-10T16:38:19.152593Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.149396Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.149396Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:e2cf9220659eaef2e204360447181fd9d9f5633b4d6993951a8e54e6f78938cc","observation_id":"9184a4d1-1035-4041-934f-634632fc47df","resolution":{"observed_at":"2026-08-10T16:38:19.149396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.159418Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.159418Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:5cbbe216ee42273aa7b0c9d5d078d640e59fa40b517f6c0ac8d25804ea4a3cc8","observation_id":"8a47867e-b9a3-4f14-ae7a-88ee0cbf984b","resolution":{"observed_at":"2026-08-10T16:38:19.159418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.155842Z","title":"In: Barthe, G., Dybjer, P., Pinto, L., Saraiva , J","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.155842Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:a723ea633b0f5b0d61a43d7336eb55f8638bc890a81fdc4fe72000e854b156a0","observation_id":"4e907563-c0dd-459f-9442-c9d8424a9c57","resolution":{"observed_at":"2026-08-10T16:38:19.155842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.167970Z","title":"In: Dawar, A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.167970Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:fb76d3afe088f61925184b7e64f3b10f95de798373d31b3932814ac0f0b22beb","observation_id":"c5fecca5-48df-49c9-8395-6ad1a3fa17c3","resolution":{"observed_at":"2026-08-10T16:38:19.167970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-48167-2_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.786042Z","title":"In: TYPES (1998), https://doi.org/10.1007/3-540-48167-2_7","venue":null,"work_id":"655be218-25f7-4bfe-a222-e6b67a18b790","year":1998},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.163271Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:f9ab44e1156f3fb72a07cf8dfd57aca4fce0ea5b30bbc4a4b930d937806e7374","observation_id":"67eb4f8e-1cd1-4f3a-aeae-2e603e2f521b","resolution":{"observed_at":"2026-08-10T16:38:19.789718Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.175437Z","title":"In: Kupferman, O., Soboc inski, P","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.175437Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:7f6a85e6522f697acc48d10501258858afbf589823b68de6945035bbb3a5aa45","observation_id":"d7366f50-4aa9-4287-a0a8-c09c9a41cc35","resolution":{"observed_at":"2026-08-10T16:38:19.175437Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.171753Z","title":"Acta Infor- matica 42(2-3), 191–225 (2005)","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.171753Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:1647503f850a3a0e72ef43b6496b89443983c7bfefa349110d2b5716f1feecfc","observation_id":"0870b370-5a8a-4f75-a1ea-ecb8f38d852e","resolution":{"observed_at":"2026-08-10T16:38:19.171753Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.186196Z","title":"MIT Press s eries in the foundations of computing, MIT Press (1988)","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.186196Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:0b1584445fb40fec4f0bdd47773c1c05eec1156c9d7cbd864e6d6019b3d628ee","observation_id":"505ab93d-ae04-446f-bf0e-785989f1b83b","resolution":{"observed_at":"2026-08-10T16:38:19.186196Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30829-1_24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.766553Z","title":"Lecture Notes in Computer Science, v ol","venue":null,"work_id":"2125c666-4afd-461c-834b-4c0b77bdb137","year":2023},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.179196Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:70d37d8390c0f07dfc962a2967459f3bc8da4ac9712c6746e464f7b82329e98b","observation_id":"36dd8b8e-0565-4fe1-bf6b-cc5419fcc3b5","resolution":{"observed_at":"2026-08-10T16:38:19.771307Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4221.4249","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:20.544772Z","title":null,"venue":null,"work_id":"8ffe50e4-0c37-4f52-8210-2a320e9b81c5","year":1985},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.182728Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:0108598bb45dc3e63aa77ae50bb95efe2ab5bd85b7d7b29e9ec34c6ca7fd284c","observation_id":"819dba0b-c571-4be7-aedb-0590396d74b1","resolution":{"observed_at":"2026-08-10T16:38:20.553503Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.197808Z","title":"Cambridge Uni versity Press (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.197808Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:f43cf9827a6e01d3138d87b21af77a1ff95d38192b9fc774098003c934c24ad1","observation_id":"fa69f2c2-4628-41ac-a315-a0250d32682d","resolution":{"observed_at":"2026-08-10T16:38:19.197808Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(00)00331-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.755517Z","title":null,"venue":null,"work_id":"1dbb1164-3a30-4b7d-92bd-24c34d803c96","year":2002},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.189932Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:8c0c49372bcab43e48d799190555c898e18197773cdfbd0ac107077d520c23e7","observation_id":"0d7a66cf-9470-40fd-92d2-f209b699ceb4","resolution":{"observed_at":"2026-08-10T16:38:19.759515Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.193742Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.193742Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:99eaeb5be61dd732a8c35a9f161a564892e5de3f65f9aca15bea550a7cdfdf2e","observation_id":"4c47163d-e2d2-49ff-a8cb-90988bb56ec9","resolution":{"observed_at":"2026-08-10T16:38:19.193742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0886.57089","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:20.469861Z","title":"resource ac cess in the asynchronous pi-calculus","venue":null,"work_id":"194561a2-4de0-4e6f-be2b-74bd39df9904","year":2002},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.209095Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:f2bf79dfc46040f8115db07f483cc41db48ea7a5ac506a14233b09ef6d2e1060","observation_id":"51ff4900-ead0-4cae-957f-6bda2045e616","resolution":{"observed_at":"2026-08-10T16:38:20.476588Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01212486","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.736927Z","title":"Formal Aspects Comput","venue":null,"work_id":"b21ea35e-1381-4f78-9a89-0f27ede02279","year":1993},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.201613Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:20c019645e91802881a18d90e3fbf08f54385776cd027e987a6158824dc65b8b","observation_id":"b64807c9-fd57-46f4-ba74-57fa64bd396d","resolution":{"observed_at":"2026-08-10T16:38:19.741100Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.205427Z","title":"In: Dem binski, P","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.205427Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:ad0689947eeadd21266c519a4403f22978c831a19b7b64a46ff4962155b6ed1f","observation_id":"e35bb1b7-cddc-4913-9e38-6542376e0f32","resolution":{"observed_at":"2026-08-10T16:38:19.205427Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.220517Z","title":"In: America, P","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.220517Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:69fc631ca6535b6094eaa9f957c400394602df335af1384713cba9bd97fe1bfb","observation_id":"aa6e8ffd-000c-4af7-8355-e199d4621078","resolution":{"observed_at":"2026-08-10T16:38:19.220517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.212901Z","title":"In: Kupferman, O., Soboci nski, P","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.212901Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:ee5bbf5baea69a77f42150275a57c84f1e8c9613f260b19dba704de79199fa4d","observation_id":"13a49b01-e589-4caf-a1f2-8f1ed96716bd","resolution":{"observed_at":"2026-08-10T16:38:19.212901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.216593Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.216593Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:961455bb4514f32e72ecb8cfb2213f19c83799706565470f35ffd375fa0d60df","observation_id":"1eac2cce-cb5c-4641-8107-9cb724fe195a","resolution":{"observed_at":"2026-08-10T16:38:19.216593Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.23638/lmcs-15(1:6)2019","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.710443Z","title":null,"venue":null,"work_id":"da559c1d-37f4-4adb-a03b-2c36d4513f82","year":2019},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.232127Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:50f50859e270a03cf5d11c0b5f10f1a56989194a0dc5353a496c2d98ff153d19","observation_id":"0755c445-3404-435d-9c44-5c93dd625fc2","resolution":{"observed_at":"2026-08-10T16:38:19.714458Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.224893Z","title":"In: Necula, G.C., Wadler, P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.224893Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:842eb7b5ce615b4944ec5456604e315aa7b3744f09b7517f1aa399f1abec708e","observation_id":"a81cdf58-bdf8-493f-9a24-9898fae75d64","resolution":{"observed_at":"2026-08-10T16:38:19.224893Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.228519Z","title":"Journal of ACM 63(1), 9:1–9:67 (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.228519Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:e609d2af8a92f21594dbe4c6a40e33a30ba31c94f95d12d9bb16066269099315","observation_id":"1fe7e891-25de-46c5-bb78-e606c318321d","resolution":{"observed_at":"2026-08-10T16:38:19.228519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.241495Z","title":"In: Castagna, G., Gordon, A.D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.241495Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:9a6924f60452157f01c7483cb1efdc04c863bd55e541bb91e8508f7270d56b87","observation_id":"857e94c2-a03d-4dda-9e65-95355652abbe","resolution":{"observed_at":"2026-08-10T16:38:19.241495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.235395Z","title":"Studie s in logic and the foundations of mathematics, North-Holland Publishing Company (1965), https://books.google.fr/books?id=2EHVxQEACAAJ","venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.235395Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:114a962a85a1ac5934cf1ff298bbbcbc37b6c7414ee2340c98bc5e2ec41c9e00","observation_id":"693ca1f1-c82d-4f57-af80-3286b65accbb","resolution":{"observed_at":"2026-08-10T16:38:19.235395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.238399Z","title":"In: LICS (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.238399Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:3f4d053add9631f0d199b8a82b57e0a29c735a94b3e10a3de57f7a2f5a759ffa","observation_id":"252ad3e0-81f0-485b-ab13-7ae7824b762d","resolution":{"observed_at":"2026-08-10T16:38:19.238399Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.251441Z","title":"In: Paterson, M","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.251441Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:f3c8122f2a903e6ece597ccec5c3f8ef847738a72cdd39b4b5f92dd93acbe36e","observation_id":"79db658e-c8dc-42a3-9b4a-7b4421af660f","resolution":{"observed_at":"2026-08-10T16:38:19.251441Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.244667Z","title":"Addison-Wesley (2002 ), http://research.microsoft.com/users/lamport/tla/book.html","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.244667Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:e61ec2dec0c6b5d9282b70a797fb1c9f7d8af9573a340666a870b6f660c8c7fe","observation_id":"5de1938c-0ec6-448c-a06c-d77eeb6161ea","resolution":{"observed_at":"2026-08-10T16:38:19.244667Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-74407-8_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.698341Z","title":"In: Caires, L., Vasconcelos, V.T","venue":null,"work_id":"21f75ee3-583b-40b2-97d7-687c18669edd","year":2007},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.248224Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:25ab7ffad4e144f91e848fafea4336212d45f88c8ee07030b68d8a8340abab45","observation_id":"44f72115-d1ce-4928-a3b3-c84560504020","resolution":{"observed_at":"2026-08-10T16:38:19.702441Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.261946Z","title":"In: Ehrig , H., Kowalski, R.A., Levi, G., Montanari, U","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.261946Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:885547c3b25355ee0f5e8cfa30d678769df0ca93d4b57f79b86f196a6a078587","observation_id":"f2a2c995-54af-4d72-8a7f-9452b14323ce","resolution":{"observed_at":"2026-08-10T16:38:19.261946Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.254680Z","title":"Cambridge University Press (1999)","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.254680Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:024932ce417977d90d562455b3dba9cc1717b1e7be609a452127fbf827f200f3","observation_id":"84f0ef53-d993-4c35-b282-d5fc1dcf3934","resolution":{"observed_at":"2026-08-10T16:38:19.254680Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.258135Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.258135Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:642fdf759e8a8c06102a181b105bdf78e46475dc1bd350218b2abc3014d4e12e","observation_id":"cb42ac70-d6bd-4667-9999-e00c300d7188","resolution":{"observed_at":"2026-08-10T16:38:19.258135Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.277419Z","title":"In: Bojanczyk, M., Merelli, E., W oodruff, D.P","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.277419Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:a4a174fbdfff045cab7a35aa64e5cc949780b34486f793da8d719d8e9f25ec9c","observation_id":"3a02f65b-06af-4984-ba56-16dd4586f1ed","resolution":{"observed_at":"2026-08-10T16:38:19.277419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.265992Z","title":"Mathematical Structures in Computer Science 13(5), 685–719 (2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.265992Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:7a19778fb8dfb5e741b11e445acc638a3e84bdf18bd5afc23f3d106643330573","observation_id":"b5aba899-eeb8-481c-9d31-93c5b3b3eb5f","resolution":{"observed_at":"2026-08-10T16:38:19.265992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.269612Z","title":"In: Grohe, M., Koski nen, E., Shankar, N","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.269612Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:b8c5e53125dab647050a5567ea2ca5850db04e3e00f1a6b1c016712f7a76c4ef","observation_id":"09b82a0c-bc27-445d-95b7-bd9a04276e34","resolution":{"observed_at":"2026-08-10T16:38:19.269612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.292324Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.292324Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:9d46eaf4b511402f2ae81c49b0b22cc4ab82d89615bcead7201415e41d24d8c7","observation_id":"729eb978-52be-4ecc-88b2-d826044a7c6a","resolution":{"observed_at":"2026-08-10T16:38:19.292324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2006.06.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.640611Z","title":null,"venue":null,"work_id":"034a0259-ad1a-4ddd-b7fc-336c83c55f1f","year":2007},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.296184Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:8e1d10da309ddbad95cedd84f976cad3f2429fd2044cd077d242096b760f1f91","observation_id":"58053c16-4606-41b9-a3f1-2970491d1aa4","resolution":{"observed_at":"2026-08-10T16:38:19.644361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icalp.2022.130","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.663496Z","title":"LIPIcs, vol","venue":null,"work_id":"d7e1b08b-629a-4ede-bd3e-587172b7d2c9","year":2022},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.281395Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:57ec88196ba50c6ddf1e5ed8e3d8955dbe772d5fa6f4485c099e33d2e555f2b1","observation_id":"52c8fc19-4fef-4fda-b3c7-4ef318ea2fd8","resolution":{"observed_at":"2026-08-10T16:38:19.667847Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.285114Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.285114Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:cb8d126bba9797e16798fe9c7b4d0db17e3747bc6ee9a5f92c616402fc1c7d24","observation_id":"e547e71a-e5d6-481b-bf1e-0756cad6675a","resolution":{"observed_at":"2026-08-10T16:38:19.285114Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3305261","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.652131Z","title":null,"venue":null,"work_id":"b80e95b8-364b-4dd4-82f2-573603c9e338","year":2019},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.288699Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:12b766cd0d68e060aef4e801c3acef995b80fa50cf3d4848e541372f73d03e3e","observation_id":"7eb7cb2c-5619-429f-bf8d-765dd6b87131","resolution":{"observed_at":"2026-08-10T16:38:19.656118Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.312339Z","title":"Cam- bridge University Press (2001)","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.312339Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:2aa2b6b2da0e033719e9e9df95fc29648d54572dc189e478bc9712f727f070d1","observation_id":"8c7663b2-bffd-453a-95a3-4ac90bdb0da6","resolution":{"observed_at":"2026-08-10T16:38:19.312339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.322.8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.609539Z","title":"In: Dardha, O., Rot, J","venue":null,"work_id":"6e07c9cb-288e-46f0-b7cb-daa87d8c948c","year":2020},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.316066Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:0e9909be6e267712fb8374c510d564fbfd10c52364b1649e8554837c228e067b","observation_id":"4069b243-b8b5-4e19-8e0e-fd4890691517","resolution":{"observed_at":"2026-08-10T16:38:19.613043Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129508006774","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.628308Z","title":null,"venue":null,"work_id":"399acf50-5523-4dfa-aee8-4025ea95355d","year":2008},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.300130Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:462c58d96499cab98a501eeda556df0a2f51cffb6abaf394353fce043cff0944","observation_id":"52c7594a-170c-47aa-a3d2-b015e751670e","resolution":{"observed_at":"2026-08-10T16:38:19.631904Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.303979Z","title":"Cambridge Univer- sity Press (2011)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.303979Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:9462c4c9972e07aafda870ddb345b96b16802430f1530786f910a9c7fd9e290c","observation_id":"9463c965-4f82-4e42-8a7a-0ee97269f340","resolution":{"observed_at":"2026-08-10T16:38:19.303979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.308482Z","title":"In: Alvim, M.S., Chatzikokolakis, K., Olarte, C., Valencia , F","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.308482Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:239e93fcb859647db062df873ce58719a28e6976b682bd130e135be6424ac633","observation_id":"02bf41e5-2b80-4954-b4de-d6941be4716d","resolution":{"observed_at":"2026-08-10T16:38:19.308482Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.332585Z","title":"Archive of Formal Proofs (November 2020), https://isa-afp.org/entries/CSP_RefTK.html, Formal proof development","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.332585Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:c1452797fb1a42da564f7ec970fae404e595e465528eff19f371cbfe455c6719","observation_id":"70b80c42-81df-4355-95dc-ab6f7997fdca","resolution":{"observed_at":"2026-08-10T16:38:19.332585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.336374Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.336374Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:74ee4865fae294e0bff9f688235743c2b3768dbea64e4dc2076081aa063c30a0","observation_id":"b917ae16-520a-4c23-ab2c-6326c28f5d3b","resolution":{"observed_at":"2026-08-10T16:38:19.336374Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.319583Z","title":"In: Sabel, D., Thiemann, P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.319583Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:71824cf94990a422c33522b003aadb31076ac7a29475728f760ec096919cb74e","observation_id":"6ca09c0e-4150-432b-9e0e-553c975ce544","resolution":{"observed_at":"2026-08-10T16:38:19.319583Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.322714Z","title":"In: Ma zurkiewicz, A.W., Winkowski, J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.322714Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:f66db13016fd0b015835e43464dd14587e9120a0ca5472ce349bcc8ce42f2556","observation_id":"5500ff4e-be0d-4ab5-ac58-e7c3d16ba619","resolution":{"observed_at":"2026-08-10T16:38:19.322714Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.329221Z","title":"Archive o f Formal Proofs (April 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.329221Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:70b31549f92885350f0444f4ed110cc421839a7f543ef3c2f7855eef26d739bf","observation_id":"4b57f503-2843-4269-80e2-d5acd72b5adb","resolution":{"observed_at":"2026-08-10T16:38:19.329221Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.339941Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.339941Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:1163e183b29b2dd2d600ea295c4bbddc62b8660fef89dd631003d81444aa75a3","observation_id":"c6ea74aa-6698-4777-8443-f6b5c3c2b689","resolution":{"observed_at":"2026-08-10T16:38:19.339941Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.343399Z","title":"In: Giacobazz i, R., Cousot, R","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.343399Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:18149d8dc71dbe4ce5e9477a91e159808c5254293675e5180ccf678793c0dd61","observation_id":"94c21e16-cd45-462c-859a-f277cabe2dd4","resolution":{"observed_at":"2026-08-10T16:38:19.343399Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-25527-9_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:20.013477Z","title":"https://doi.org/10.1007/978-3-319-25527-9_8 , https://doi.org/10.1007/978-3-319-25527-9_8","venue":null,"work_id":"d486bb87-5138-4e3e-9da8-fa120be6df48","year":2015},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.008024Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:136fde23cf7d3d38e5709a4802b39a01dad4a02c8e87b1f7d82be1a394baa201","observation_id":"5b155c57-e81f-4b6d-baeb-8c4e7f8765c7","resolution":{"observed_at":"2026-08-10T16:38:20.016929Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:38:19.350716Z","title":"The more sophisticated the languages, th e more intri- cate and larger the proofs","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony","version":1},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-08-10T16:38:19.350716Z"},"links":{"citing_paper":"/paper/2501.13002"},"observation_digest":"sha256:fe4671bb65c2a88c355405907008841bb9f510b1f4eb52a51939093fde5d2b80","observation_id":"a9c7368a-d0da-4715-9590-d9ec9bc75c9e","resolution":{"observed_at":"2026-08-10T16:38:19.350716Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.13002","last_updated":"2025-01-22T16:42:03Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-10T22:50:51.121898Z","submitted_at":"2025-01-22T16:42:03Z","title":"Constructive characterisations of the must-preorder for asynchrony"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":64,"verified_exact":32,"verified_fuzzy":0},"total_outbound_references":160},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 100 of 160 outbound references and 0 inbound Pith citation observations for arXiv:2501.13002."}