{"as_of":"2026-08-17T14:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:40d14eee9ed5042505561f8376a8ecfca972832f4da9da7436fa0e7a8e28c1bf","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T06:06:30.134136Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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.00286/citation-record","integrity":"/paper/1909.00286/integrity","json":"/paper/1909.00286/citation-record.json","paper":"/paper/1909.00286"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:29.935794Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.935794Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:0f3515b07e73d3b52c1db8cfe18382593468923fae8597672c13c537986b1383","observation_id":"84de2299-8c77-49b4-bccf-7150e15719b3","resolution":{"observed_at":"2026-08-14T06:06:29.935794Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.968309Z","title":"Bednarczyk (1987): Categories of asynchronous systems","venue":null,"work_id":"011829b5-cfc4-4d42-847e-7df364f45172","year":1987},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.941404Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:da4a7cac29be9fc82a2145e2183668a452a4f28b4827925830a511518e67c770","observation_id":"a6f5a590-18c5-4472-b21b-b3001a40b42f","resolution":{"observed_at":"2026-08-14T06:06:30.973039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.952369Z","title":"Bouwman (2018): Liveness analysis in process algebra: simpler techniques to model mutex algorithms","venue":null,"work_id":"6cb2396f-4508-4f72-b719-6484721beb29","year":2018},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.947382Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:eeeaa0e4de0e250a7b5b0d99d6164a46ace48c65905531754df01aef51ebadb3","observation_id":"2a83b25f-7832-4eb9-91fb-2f6bf90ade60","resolution":{"observed_at":"2026-08-14T06:06:30.957748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-38493-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"Coppo, M","venue":"Lecture notes in computer science","work_id":"9628823d-c292-4017-868a-c9786d3457f5","year":2013},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.952629Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:094a74103cc01ae2646c65b52fb3f785d3deea82c67cfd8bc0d1c54291a2d265","observation_id":"e7c31f54-52db-4eae-b82f-d7558f877bdb","resolution":{"observed_at":"2026-08-14T06:06:30.410811Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:29.957807Z","title":"De Nicola & F.W","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.957807Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:630164013d779be254ca76358fc6259505cdcb807afb8d5fc137b6dba16ba694","observation_id":"e7660bb6-e094-45ec-9afd-9edf6930c696","resolution":{"observed_at":"2026-08-14T06:06:29.957807Z","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-18419-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"Degano, R","venue":"Lecture notes in computer science","work_id":"6a2342c4-991e-4972-bba1-a2f3406174d1","year":1987},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.962894Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:1b7650796d86814d57fb5410bf0d9b05fa8fa3498a84b247065fb114d163ce67","observation_id":"bc0578e7-9f68-4635-b21e-0d2bcb4ded01","resolution":{"observed_at":"2026-08-14T06:06:30.395752Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:29.968742Z","title":"Dyseryn, R.J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.968742Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:cb8521b47adf6365219afedc690cb1e833d68a8d7e7355914612cd188388370f","observation_id":"1cb7a207-3015-4782-aa16-6e11f0a1058d","resolution":{"observed_at":"2026-08-14T06:06:29.968742Z","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-14T06:06:29.973772Z","title":"Emerson & E.M","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.973772Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:1623dcdd2923964393ef22bf8337c3089b24b036ee8e885809bbaa53645164eb","observation_id":"a5af83e5-3902-42c3-be9f-59716aec4641","resolution":{"observed_at":"2026-08-14T06:06:29.973772Z","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-14T06:06:29.978685Z","title":"Emerson & J.Y","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.978685Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:41e75df52057c8057634be4270db25be07705cb9cffc75a632ed2854acb53bc7","observation_id":"74bf9ed5-d34a-4186-8030-f3f980f7d489","resolution":{"observed_at":"2026-08-14T06:06:29.978685Z","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-14T06:06:29.984520Z","title":"Fehnker, R.J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.984520Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:480db95a233d33e7281bcf2f302d5acb3ca80ad17a9485201f61d87d317eedea","observation_id":"1e697564-5726-4dcf-bb01-71814c78dfad","resolution":{"observed_at":"2026-08-14T06:06:29.984520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.7645","last_updated":"2013-12-30T07:18:04Z","snapshot_observed_at":"2026-08-14T23:50:04.215073Z","submitted_at":"2013-12-30T07:18:04Z","title":"A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV","version":1},"cited_work":{"arxiv_id":"1312.7645","doi":null,"metadata_source":"pith","pith_arxiv_id":"1312.7645","snapshot_observed_at":"2026-08-14T06:06:30.738755Z","title":"A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV","venue":"cs.NI","work_id":"4e79303b-bfae-4e0d-bb63-589d966421b7","year":2013},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.989919Z"},"links":{"cited_paper":"/paper/1312.7645","citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:79c1b3b612aebbe7f64affa87be3c9a231b0059d0ee76f5dfa084b81c4eef52a","observation_id":"aaec4d43-2132-45da-9a0e-92e7e73a98fb","resolution":{"observed_at":"2026-08-14T06:06:30.743888Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1509.05842","last_updated":"2015-09-19T02:21:49Z","snapshot_observed_at":"2026-08-14T22:31:43.034287Z","submitted_at":"2015-09-19T02:21:49Z","title":"Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP","version":1},"cited_work":{"arxiv_id":"1509.05842","doi":null,"metadata_source":"pith","pith_arxiv_id":"1509.05842","snapshot_observed_at":"2026-08-14T06:06:30.718043Z","title":"Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP","venue":"cs.LO","work_id":"16a97027-d530-4b70-85f1-a0c63e630605","year":2015},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:29.995538Z"},"links":{"cited_paper":"/paper/1509.05842","citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:ff91e0983f9058961f1dfd81b9f9fd0826b2add70e6e4cd79115200a50f0acf4","observation_id":"9c230463-42b3-4876-8a85-2045b52326c1","resolution":{"observed_at":"2026-08-14T06:06:30.723117Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.04240","last_updated":"2017-11-12T05:37:55Z","snapshot_observed_at":"2026-08-14T20:14:35.540261Z","submitted_at":"2017-11-12T05:37:55Z","title":"Ensuring Liveness Properties of Distributed Systems (A Research Agenda)","version":1},"cited_work":{"arxiv_id":"1711.04240","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.04240","snapshot_observed_at":"2026-08-14T06:06:30.697513Z","title":"Ensuring Liveness Properties of Distributed Systems (A Research Agenda)","venue":"cs.LO","work_id":"1c81761a-af85-468b-89ed-4d83b1c4274f","year":2017},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.001283Z"},"links":{"cited_paper":"/paper/1711.04240","citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:c01bc0c8058ffbd8f1670bb094b8144433de1f8a87d0045a5c5861ae7d3eefd6","observation_id":"f82fced7-9149-4781-bd02-0dd6f9051e4a","resolution":{"observed_at":"2026-08-14T06:06:30.702573Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.006826Z","title":"van Glabbeek, U","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.006826Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:fffa88b992abebd259f72ebb1c07abfb2384101680dce857b61991478f89db3f","observation_id":"1b55cad0-1be8-43dd-aade-970c668540cd","resolution":{"observed_at":"2026-08-14T06:06:30.006826Z","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-14T06:06:30.012875Z","title":"van Glabbeek, U","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.012875Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:dcbabfd6304f6e5d16aa9746a26b4139476bf547cbbadb14c212044b385c561f","observation_id":"5a6c6678-69bf-4b52-9534-a7b1ff00f26b","resolution":{"observed_at":"2026-08-14T06:06:30.012875Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1501.03268","last_updated":"2015-01-14T08:04:10Z","snapshot_observed_at":"2026-08-14T23:04:08.900622Z","submitted_at":"2015-01-14T08:04:10Z","title":"Progress, Fairness and Justness in Process Algebra","version":1},"cited_work":{"arxiv_id":"1501.03268","doi":null,"metadata_source":"pith","pith_arxiv_id":"1501.03268","snapshot_observed_at":"2026-08-14T06:06:30.676235Z","title":"Progress, Fairness and Justness in Process Algebra","venue":"cs.LO","work_id":"767383da-6c8e-4f34-8487-e325ddb4f749","year":2015},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.019189Z"},"links":{"cited_paper":"/paper/1501.03268","citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:be194fae989da73f7b60a93062d2ac13ba482624775fe0996be067e4dc93862f","observation_id":"cf1325ce-b2e5-458b-aaaa-b87a7e072981","resolution":{"observed_at":"2026-08-14T06:06:30.681180Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-015-0221-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.328631Z","title":"van Glabbeek & P","venue":null,"work_id":"4b2cf7ce-ea52-4359-bdbf-9a129bfd7428","year":2015},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.028122Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:618170ed864f80410e2ab570a1049e9195b31e8c436037bd85d55414c5118bec","observation_id":"7a9788c7-66e8-4e01-ab1e-21c96d929912","resolution":{"observed_at":"2026-08-14T06:06:30.333812Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.036743Z","title":"van Glabbeek & P","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.036743Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:3a9b49164ca892beae181a2f518aa5156412e24d80abc4151278b63109afaccd","observation_id":"64ec39d8-b25d-4471-b1b9-98ae1eae79d8","resolution":{"observed_at":"2026-08-14T06:06:30.036743Z","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.concur.2021.33","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.304507Z","title":"van Glabbeek, P","venue":null,"work_id":"f2ea514e-683c-4e1b-9158-33ba589b3761","year":2021},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.043197Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:b3246b3623ae4a899cca97f5dc9aa953176694c169e9dedad54c3bd881cfdff3","observation_id":"6552b7cb-324d-4edd-b3d2-5664ab11cfeb","resolution":{"observed_at":"2026-08-14T06:06:30.309439Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.048264Z","title":"van Glabbeek & F.W","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.048264Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:9485d967cfaf6a8de97e9488f6a5ae542f455d19840b04dea5b572dcfcebfed0","observation_id":"a08f5187-5262-461d-ad0d-ff025ec5eb0f","resolution":{"observed_at":"2026-08-14T06:06:30.048264Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.936645Z","title":"Kuiper & W.-P","venue":null,"work_id":"2850cf7b-6aaf-419c-975c-2b0d504b36c1","year":1983},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.053112Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:2555cad729cc739fba33effcb925b0a65896d0b6c8e07d1fb762efe01c7708f2","observation_id":"b70f015a-9137-4828-92ec-fd3575fa7b74","resolution":{"observed_at":"2026-08-14T06:06:30.941229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.057822Z","title":"Lamport (1977): Proving the correctness of multiprocess programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.057822Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:f0033e90427c5ad8720a3a4c46b248941a597c09c9b90495af647a99b35a6186","observation_id":"dfe7ef3f-db6d-46a5-bcc8-9fd361dcd046","resolution":{"observed_at":"2026-08-14T06:06:30.057822Z","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/pl00008921","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.279180Z","title":"Lamport (2000): Fairness and hyperfairness","venue":null,"work_id":"54e80104-c355-440d-8fd3-44e3b2f173fb","year":2000},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.063262Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:e4679661fe807bcd32f45a22cc1184857e301834dbe756a8b4cef74d0607ddca","observation_id":"5fb7be2d-5fb6-406a-816e-2000104c2a8a","resolution":{"observed_at":"2026-08-14T06:06:30.283951Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.921711Z","title":"Milner (1990): Operational and algebraic semantics of concurrent processes","venue":null,"work_id":"d83a80b6-5ad7-4a09-8f09-d32c77d0487e","year":1990},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.068047Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:94d61d031ac662fd66be1133e603128276d0bcddce3035edfde0fbb8931634b2","observation_id":"bbc85e91-2826-4374-9694-dc937e5e9f05","resolution":{"observed_at":"2026-08-14T06:06:30.926817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.072667Z","title":"Milner (1980): A Calculus of Communicating Systems","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.072667Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:fe4638b9641081df9654ffa307359aafce9ae5404023cdb4ef81219547afd631","observation_id":"fda23218-2a76-456c-af93-4ec5d479a139","resolution":{"observed_at":"2026-08-14T06:06:30.072667Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.906909Z","title":"Misra (1988): A Rebuttal of Dijkstra’s Position on Fairness","venue":null,"work_id":"f579b8a7-1b61-432b-80e2-c6af422389e6","year":1988},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.078937Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:fc113abbb2983a24226a4b91c7281a38751a54067db7a15203555464ad99bef5","observation_id":"45579ac9-b72f-443a-8055-6c7defa1a21a","resolution":{"observed_at":"2026-08-14T06:06:30.911832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.084234Z","title":"Misra (2001): A Discipline of Multiprogramming — Programming Theory for Distributed Applications","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.084234Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:34d9016060572f165bd873cb41c11df8260f9463ab4ce50e1ef4274b75bcefad","observation_id":"47c2ff17-cb8c-46db-b552-102f2eb5b6ff","resolution":{"observed_at":"2026-08-14T06:06:30.084234Z","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-14T06:06:30.089334Z","title":"Olderog (1987): Operational Petri net semantics for CCSP","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.089334Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:5aed6949ebf2484cc4c89b45fa2dc6efc2e2ac794c2320c8e47d813ada1937ca","observation_id":"de7ea9f4-7e5b-4123-8e7b-da5e8b8f0367","resolution":{"observed_at":"2026-08-14T06:06:30.089334Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.892471Z","title":"Olderog (1991): Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation- ship","venue":null,"work_id":"dd59d3ec-3141-4627-892f-aa37b5d605eb","year":1991},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.094030Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:db53eda82542e1397c1c6786fe54a28706b989d8ffc925dcceb5ea4db74d9c3d","observation_id":"2ebe164b-d2b8-475a-a878-f42137551cf2","resolution":{"observed_at":"2026-08-14T06:06:30.897168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.098803Z","title":"Owicki & L","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.098803Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:df30af9c1231a7257e41ab940b95c2b82756da72a5f5f1f573a75af683e66ff8","observation_id":"507b0870-eadb-4e2e-9acd-7f8835071295","resolution":{"observed_at":"2026-08-14T06:06:30.098803Z","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-14T06:06:30.104086Z","title":"Pnueli (1977): The Temporal Logic of Programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.104086Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:864438eef98fe1800ae7272e86b3e8f79b8e9110d1aaf6859db8bf11344d8dc4","observation_id":"efc646e0-645f-4201-ab72-49ff245f491a","resolution":{"observed_at":"2026-08-14T06:06:30.104086Z","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-53982-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.224563Z","title":"Prasad (1991): A Calculus of Broadcasting Systems","venue":null,"work_id":"6acbd45d-a9c4-400e-bf7f-25910f83630a","year":1991},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.109083Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:3c99526fd2a490d623158ff4da6900d45b04d4967efc5739a4b7c9ad93e8ae89","observation_id":"d9e282bc-14a8-4505-a56c-2af974038c3e","resolution":{"observed_at":"2026-08-14T06:06:30.229935Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.113940Z","title":"Reisig (2013): Understanding Petri Nets — Modeling Techniques, Analysis Methods, Case Studies","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.113940Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:8dbd51812f5d566551616e8419efadf837470e084f5f0e619fa8534f15de0304","observation_id":"79821b83-075e-4eee-9c88-3958152f4b83","resolution":{"observed_at":"2026-08-14T06:06:30.113940Z","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.1093/comjnl/28.5.449","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.196600Z","title":"Shields (1985): Concurrent machines","venue":null,"work_id":"fd0d8471-13f2-4278-8089-e8cca1e5cc3f","year":1985},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.118815Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:7c3ec0009e8f6efa5f6b6af7693eca7b457da28efcad96f056ab45facf2ab7e3","observation_id":"7cb41f66-1df8-4e3c-80b8-ed4cc65dc54c","resolution":{"observed_at":"2026-08-14T06:06:30.201761Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(89)90050-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T06:06:30.177813Z","title":"Stark (1989): Concurrent transition systems","venue":null,"work_id":"26700f49-0dc0-475b-9d48-40b14403ed2a","year":1989},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.124288Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:00a929c7d12cdaf6544366b14b26f1e2187faf4291cbca0864f06c75ea84efcc","observation_id":"944ff0f6-10fe-4c6e-97d3-1a2c9ecf8def","resolution":{"observed_at":"2026-08-14T06:06:30.185181Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-14T06:06:30.129116Z","title":"Winskel (1987): Event structures","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.129116Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:eb537f47d5c99038ee2a765af6819f10902ab6c2041a5a9bcd7c5f2e0586b2d6","observation_id":"7dff1271-e813-498f-81a4-fca876d8061f","resolution":{"observed_at":"2026-08-14T06:06:30.129116Z","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-14T06:06:30.876166Z","title":"Winskel & M","venue":null,"work_id":"9485cef8-1252-4b3d-b43d-1717b4cf9e80","year":1995},"citing_paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T06:06:30.134136Z"},"links":{"citing_paper":"/paper/1909.00286"},"observation_digest":"sha256:fceb509a7329f908e33f726ae8ed31fcba299d3c574055d4ac83e2e6b319a964","observation_id":"139e5fcd-75fd-4519-bbf1-e51d2f520ac8","resolution":{"observed_at":"2026-08-14T06:06:30.880514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1909.00286","last_updated":"2021-08-25T14:52:40Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T22:43:18.052040Z","submitted_at":"2019-08-31T21:07:14Z","title":"Justness: A Completeness Criterion for Capturing Liveness Properties"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":12,"verified_fuzzy":7},"total_outbound_references":37},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:1909.00286."}