{"as_of":"2026-08-21T01:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:94d7b831cc0e481e57f6cd4a6d60cee8aba73cc32ab03696b9cdc529bb86f17f","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T05:18:06.767861Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/1909.01627/citation-record","integrity":"/paper/1909.01627/integrity","json":"/paper/1909.01627/citation-record.json","paper":"/paper/1909.01627"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10703-01","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:06.861377Z","title":"Formal Methods in System De - sign 52(3), 260–276 (2018)","venue":null,"work_id":"c5a07292-bfd4-4357-a8e2-5fc7edd53b71","year":2018},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.685657Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:4501dbb5b80ddeab72166b5231d627b9471cbc39348d2bcbc0e522fbe8750ef7","observation_id":"56bc8fcf-2df2-4dc1-838d-2dc502518506","resolution":{"observed_at":"2026-08-14T05:18:06.865691Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2016.09","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:06.850592Z","title":null,"venue":null,"work_id":"54c9aafb-11c7-4e4d-b1f0-530638406762","year":2016},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.690049Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:ca3711777fc49cecefdd42b8cd7d0278079d1619eab5a3cba17a44f85e0fdf4a","observation_id":"9a79c150-9606-4499-aa4d-6f00bb479a6a","resolution":{"observed_at":"2026-08-14T05:18:06.853954Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T05:18:06.698590Z","title":"In: Chockl er, H., Weissenbacher, G","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.698590Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:0e639d64421c4367f4040e046865168d39ea8aa5c3f8835c16b544d4c10defaa","observation_id":"b65e3c17-0050-4cf5-98d5-e9ba142baa6f","resolution":{"observed_at":"2026-08-14T05:18:06.698590Z","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-14T05:18:06.702335Z","title":"In: Alur, R., Peled, D.A","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.702335Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:d4fd3e62023aca6cd6c00b4bf3076d4573f1b538f8c558ca82f84a83152dffd0","observation_id":"dce31820-5c46-408b-8fe1-aa3f9576a423","resolution":{"observed_at":"2026-08-14T05:18:06.702335Z","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-14T05:18:06.706303Z","title":"In: Bourne z, O., Potapov, I","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.706303Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:0aa83ab8fda5214f1b941f6276139e5d28af1c06f11f3695a28aedcfc6472c7b","observation_id":"640eb4f6-105b-49d6-9e25-9571c0b3fa70","resolution":{"observed_at":"2026-08-14T05:18:06.706303Z","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-14T05:18:06.710056Z","title":"In: Dolev, D","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.710056Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:ea2baaf9f145ab0d48383a923185e6f455349371b7f0cc9a33cc87d192f4e27b","observation_id":"5071c9ae-730c-47f5-bdc8-ef8a1fae9859","resolution":{"observed_at":"2026-08-14T05:18:06.710056Z","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/0167-6423(83","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:06.815776Z","title":null,"venue":null,"work_id":"1c05f402-92b5-4c5c-a92d-2f0fdfe41895","year":1982},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.713358Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:9f47690c825c2a2e79da756c974e1302608fdda90863acbb40a2033315bd3f40","observation_id":"fdd13834-1c77-4aec-849f-e78d0f74e58f","resolution":{"observed_at":"2026-08-14T05:18:06.819543Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icalp.2017.122","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:06.803740Z","title":"In: Chatzigiannakis, I., Indyk, P., Kuhn, F., Muscholl, A","venue":null,"work_id":"1d274b50-704a-44b9-868b-5a8ab31be054","year":2017},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.716768Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:7714632e5396f467106ec5593b9965fbc2eb411c9a36c67cfb729faa4a328af0","observation_id":"eb99946d-8ac4-476a-8f8c-9e9f5bb8b2a4","resolution":{"observed_at":"2026-08-14T05:18:06.808671Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.100127Z","title":null,"venue":null,"work_id":"50c0be7c-10ac-4d9c-b2d8-ae33a249e270","year":2007},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.719878Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:ca6a29d754df3314771e9cda6a698ae3eec72eaeae07159e2829275068039bfe","observation_id":"e6af54ed-041b-47ac-a46f-80d22052ad54","resolution":{"observed_at":"2026-08-14T05:18:07.103390Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-14T05:18:06.723230Z","title":", Jhala, R.: Pre- tend synchrony: synchronous verification of asynchronous d istributed pro- grams","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.723230Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:510e29019c5167dae1bb2f4750b78b93acc6c89649e0e7e92c870a9eda2ad61c","observation_id":"07cb3048-0f9b-4e54-afa0-76fa032fd0a6","resolution":{"observed_at":"2026-08-14T05:18:06.723230Z","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-14T05:18:06.726820Z","title":"In: Schewe, S., Zhang, L","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.726820Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:d260aa9a947036f4accd46bd1edb71011c2ddf6fc4ca0fdb2302def436291f5f","observation_id":"65f087b3-a338-4af8-8589-47c0320c979d","resolution":{"observed_at":"2026-08-14T05:18:06.726820Z","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-14T05:18:06.730064Z","title":"In: Ramakrishnan, C.R., Rehof, J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.730064Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:de2d532bf5a3e2b467928fcffa0756e5822018f0ecc49043ec60c1cc87aa9a6e","observation_id":"019798de-bf40-4e12-87cd-d95ed51ec186","resolution":{"observed_at":"2026-08-14T05:18:06.730064Z","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-14T05:18:06.733305Z","title":null,"venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.733305Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:3f2a884b685a36bdf87fe1bd52b7e2b18b61c2f8ed7682c895aa96b2b76c1254","observation_id":"a5fb8795-b8c9-45d9-af80-8a4d68734ccf","resolution":{"observed_at":"2026-08-14T05:18:06.733305Z","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-14T05:18:06.736538Z","title":"In: D ediu, A., Fernau, H., Mart ´ ın-Vide, C","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.736538Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:01930fb5a10cbec10d2b6558477cdade18b8a5a98d3d88ed0ea5cba74554ef29","observation_id":"f8dc02bf-736c-49f3-b4a6-8d9507555cdb","resolution":{"observed_at":"2026-08-14T05:18:06.736538Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.083555Z","title":null,"venue":null,"work_id":"bbd8f2ba-bb0b-443b-ab5b-8c9f12ce1999","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.740022Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:a554bfa064ea8749046a633adc0b097b76980c938b94902d134936df7523322d","observation_id":"0ee3c995-8b28-4224-9e51-1555b8e9c3d4","resolution":{"observed_at":"2026-08-14T05:18:07.087069Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.073682Z","title":"We want to show that if this is the case we can reconstruct a cyclic path in the extended conflict graph, which is a contradiction","venue":null,"work_id":"2c51ea50-4a13-436e-96ea-436a86163d4e","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.743238Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:3c5cb5e24ed052745a043516fbf0c6e9b76573ebb70e38dcb5ff86950a1765b7","observation_id":"cb78d35a-3d97-4042-83b6-3aec4ff876db","resolution":{"observed_at":"2026-08-14T05:18:07.077228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.064197Z","title":null,"venue":null,"work_id":"69d1ce60-0f94-4621-bcab-c755c53eccd3","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.746660Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:88b6e8f6fd7e39a50d6358340ca1abe4f7d6f4c2ffb94dd97af51b5d4cf9f572","observation_id":"9d3b236b-ef86-47f8-8aec-6292aba63edd","resolution":{"observed_at":"2026-08-14T05:18:07.067432Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.053792Z","title":null,"venue":null,"work_id":"9768536e-b779-457d-ac4b-3b022373019b","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.749837Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:9fc8c1917e6614d5f951053518fd7284b77d225ee1fa92cfc84add169723b1ae","observation_id":"8fdb9e30-b5f2-45ff-9819-d5dce5465015","resolution":{"observed_at":"2026-08-14T05:18:07.057640Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.043377Z","title":"The first two points easily follow from the definition of e,k = = =⇒ feas","venue":null,"work_id":"be6022c2-6eee-4043-841d-8293f4cdb2ab","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.753127Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:de3e562e39e5073e3121f2b93dabbb36819ce7bc95cd9c3ed4ff836b2e2618d8","observation_id":"37bce56f-d665-4524-a911-2034fa285556","resolution":{"observed_at":"2026-08-14T05:18:07.046983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.033105Z","title":null,"venue":null,"work_id":"414a02c0-6804-4738-a5f6-e423dae3163b","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.756828Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:df37561e75fb34ecf1df605a1ecd557be043cfe535ef08e80b12029e104e919a","observation_id":"6726e327-9871-48cc-970d-e97b5388c3ad","resolution":{"observed_at":"2026-08-14T05:18:07.037034Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.022977Z","title":null,"venue":null,"work_id":"f07a8115-a7f2-41be-9f51-36264f80bc0b","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.760707Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:7c8b9007ab453f645418e686558054a8cc80f6ae85388d6880d636cb391c9fe1","observation_id":"5e8a45a9-ac9f-44ae-a6fb-212338aeac24","resolution":{"observed_at":"2026-08-14T05:18:07.026267Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.013078Z","title":"If sawRS = True then ∃ei where sawRS = False and sawRS′ = True","venue":null,"work_id":"611706f8-bbfa-422c-afcc-7e024aedd57d","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.764082Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:b4be77108caeaad159a60d1404488519811ffceddede6d47605ed726cf69b31b","observation_id":"aa97352f-ad2a-4b4d-809f-34e995058f41","resolution":{"observed_at":"2026-08-14T05:18:07.016540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:18:07.000693Z","title":"As previously, e′ is feasible by Lemma 4","venue":null,"work_id":"ceda09d9-5fcd-4a41-8340-c871dabd099c","year":null},"citing_paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T05:18:06.767861Z"},"links":{"citing_paper":"/paper/1909.01627"},"observation_digest":"sha256:f97b6923c9dd7a96a0dc5e42e5a15180495590921d0d394979c5356c5025b070","observation_id":"00bfd4c0-fd7d-474b-bbe7-7f78c4c08740","resolution":{"observed_at":"2026-08-14T05:18:07.006219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1909.01627","last_updated":"2020-01-21T14:24:45Z","latest_version":2,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-14T05:09:52.918293Z","submitted_at":"2019-09-04T08:58:53Z","title":"On the k-synchronizability of systems"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":7,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":4,"verified_fuzzy":4},"total_outbound_references":23},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:1909.01627."}