{"as_of":"2026-08-16T14:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fa1f52904471e5e78016d4db9a2045f48ccaca8b0210ad0dd543810e045c0de6","coverage":[{"denominator":109,"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-14T15:25:52.775173Z","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-16T06:30:59.297886+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/1912.05616/citation-record","integrity":"/paper/1912.05616/integrity","json":"/paper/1912.05616/citation-record.json","paper":"/paper/1912.05616"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:52.345630Z","title":"Austry & author G","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.345630Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:dd2c4618ea46f47a4cf917682fecc89f0a66c09c695febd77aded3f1383b1038","observation_id":"656d14f5-39ee-4472-bda0-de0c2d42f84b","resolution":{"observed_at":"2026-08-14T15:25:52.345630Z","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-14T15:25:52.351584Z","title":"Apt , author N","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.351584Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:8ad3f4ca7027eed4b46467be95c9caed8aa3b01b262f5eba4f70b02c3bb88336","observation_id":"06547036-65d1-418c-9ffb-1694c5375d7c","resolution":{"observed_at":"2026-08-14T15:25:52.351584Z","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-14T15:25:52.356329Z","title":"Baeten , editor ( year 1990 ): title Applications of Process Algebra","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.356329Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:70b48327ddfc31082be28e7f19b76056bf78953d8595959e95297687661511cb","observation_id":"52b522e8-2296-4543-979f-1b449d76a5c4","resolution":{"observed_at":"2026-08-14T15:25:52.356329Z","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/0304-3975(87)90052-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.573172Z","title":"Baeten , author J.A","venue":null,"work_id":"14c92adc-e80b-43fd-b4cc-f458920dab11","year":1987},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.360888Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:75ff2b47b84ef2d9ac0ab6f01ea7bcbfb67f92cfaa09d964701a6e35a44df0c0","observation_id":"36b164c8-7bbd-4a6e-9e41-990ac2398387","resolution":{"observed_at":"2026-08-14T15:25:53.577204Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.365516Z","title":"Baeten , author T","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.365516Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:7a586a42a3a1ab02ec90b8279d44952b4caeb08421c99100b237b03dc589a910","observation_id":"d6dbb8b1-1c67-4944-bf35-70e22d30e56e","resolution":{"observed_at":"2026-08-14T15:25:52.365516Z","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.54.4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.559795Z","title":"Buti , author M","venue":null,"work_id":"4128d480-5d5c-4e6b-9208-b13f913700bf","year":2011},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.369721Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:1945a10b72c008716b783c3dffd9d15e8bc95758f435a25f4140a49754c11f53","observation_id":"8d70a9aa-8fd6-470b-a2fa-a2fe247b705f","resolution":{"observed_at":"2026-08-14T15:25:53.565006Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.374153Z","title":"Boudol , author I","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.374153Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:430d20c1af1bdf07b246bea01e36424013124ecea1e928a86cb26c3eca9d716d","observation_id":"9f50b3fa-77d2-459e-9460-d9638bb07217","resolution":{"observed_at":"2026-08-14T15:25:52.374153Z","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-14T15:25:52.377828Z","title":"Behrmann , author A","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.377828Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:270826c46c5a4397447413571ff257082f0b451208dfd67943dd7ede0458b7dd","observation_id":"4971c4e5-ce82-4bfb-b068-51d619ab5220","resolution":{"observed_at":"2026-08-14T15:25:52.377828Z","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-14T15:25:52.381704Z","title":"Bloom , author W.J","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.381704Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:dd69d8e8fb875a7e93c985dd8001e8ccfa84cfed5f8a45e557821377567e9fe9","observation_id":"9765cde8-06ef-4e12-88e4-5fe143d7a46c","resolution":{"observed_at":"2026-08-14T15:25:52.381704Z","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-14T15:25:52.387297Z","title":"Bol & author J.F","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.387297Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:8acf7208e064900c7ddd22d131edf1e93aa2c43818e72f4550040c0b0da6a83f","observation_id":"03ed219f-df25-4990-b346-4dc58d111f5a","resolution":{"observed_at":"2026-08-14T15:25:52.387297Z","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/2682570","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.532627Z","title":"Borgstr \\\" o m , author R","venue":null,"work_id":"b04b45f6-3881-4135-a372-821e9a7f551e","year":2015},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.391306Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:5c94b93de079291c1e3d5a4accca209ff509a79a6623fa27fd7b1165ddfa5534","observation_id":"ced3ccab-b561-42c3-8edd-1b9e7afe88a1","resolution":{"observed_at":"2026-08-14T15:25:53.536825Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.395437Z","title":"Brookes , author C.A.R","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.395437Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:53e1f3593ab0761d2eed051328ca26343aee825e787b7ffbea3e414d70de52ee","observation_id":"ef47df7a-82a3-48ed-8f5a-8313d1794088","resolution":{"observed_at":"2026-08-14T15:25:52.395437Z","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-14T15:25:52.399384Z","title":"Bloom , author S","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.399384Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:c824d4cf96c4eabb75a9a53a10c66639f7e8073f18ba0f2165b5d907fe5cea56","observation_id":"3af48ac0-bd21-4d0e-aa9d-f80dda44112f","resolution":{"observed_at":"2026-08-14T15:25:52.399384Z","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-14T15:25:52.404172Z","title":"Bengtson , author M","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.404172Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:73d89068dcd7eaec4d3935b91022e8f4cdbed4effbe802c0aaf5b726e1991caf","observation_id":"10432ddf-237a-485d-ad73-d7e2fd3de3e9","resolution":{"observed_at":"2026-08-14T15:25:52.404172Z","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-14T15:25:52.408478Z","title":"Bergstra & author J.W","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.408478Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:63865d64ac8a2d4a929e025f0a9bf3c4435444dc4a700a7a2b728af9fb78237b","observation_id":"73e2d3cb-b7f1-458a-8e2b-ea9fafed5b6d","resolution":{"observed_at":"2026-08-14T15:25:52.408478Z","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-16444-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.502686Z","title":"Bergstra & author J.W","venue":null,"work_id":"b3e3b33f-c265-4ff8-9270-cb5af4818b4f","year":1986},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.412374Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:3f17d046b3d213e96cde09902580d69626f9d1fc105c5dc8c73e23ec7c07eba6","observation_id":"1e176aa7-7ef3-4a5f-94f7-7da763999019","resolution":{"observed_at":"2026-08-14T15:25:53.506304Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.417303Z","title":"Baier & author J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.417303Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:957f29f2fbb02db24031d2df786da46e0c8839958d3153ea97627c0f5cfa80a6","observation_id":"2b3004e6-a3ed-4d7d-9c3f-3cdc63eea5cf","resolution":{"observed_at":"2026-08-14T15:25:52.417303Z","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-14T15:25:52.421908Z","title":"Bloom ( year 1995 ): title Structural operational semantics for weak bisimulations","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.421908Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:87f2870146715ba2bd50a14b0587f5dbe983486dee07907b11088771bd4dfd8b","observation_id":"fe5e3269-1958-46b4-9a68-129d80ae6637","resolution":{"observed_at":"2026-08-14T15:25:52.421908Z","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-642-82453-1_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.480188Z","title":"Boudol ( year 1985 ): title Notes on algebraic calculi of processes","venue":null,"work_id":"0641d611-a091-4c1b-884e-1daacbc8cd82","year":1985},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.425703Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:45193000e891525fc9818a2fc0b4d64bd167eebd399624b49eeb4be943b86fd9","observation_id":"fdb79ff4-b5a0-4dcf-85d2-db1d05a3facf","resolution":{"observed_at":"2026-08-14T15:25:53.485632Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.429625Z","title":"Brinksma , author A","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.429625Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:85f12299d42223b6d8ddf0abe9709a9cbf5f8eb6e91371818dd09bc9f689609e","observation_id":"dddf2662-e17e-4861-bdcc-dd4a41c246c1","resolution":{"observed_at":"2026-08-14T15:25:52.429625Z","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-14T15:25:52.433480Z","title":"Brinksma , author A","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.433480Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:de0fa9f4ceb8ff562e7e7378fc5ee389728e85b5ca1ea92d79ff486ad8a7ec4d","observation_id":"dbceb8f0-9d56-4003-9587-49d32e0ad9d6","resolution":{"observed_at":"2026-08-14T15:25:52.433480Z","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-14T15:25:52.437129Z","title":"Bartlett , author R.A","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.437129Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:9478bd41d8fd542741d67bb4c68b8bb300d2ebf7430547e2d95122ddff13daf6","observation_id":"c654c65f-2c28-4c9f-a8c8-e8adecfd02c9","resolution":{"observed_at":"2026-08-14T15:25:52.437129Z","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-14T15:25:52.440753Z","title":"Baeten & author W.P","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.440753Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:c7c843a42740d6b9baf00c5d38ef3f02035678d29b3aac78676e53a444ca8d7e","observation_id":"45b427fe-3c9d-4b1e-a710-68cf683a0098","resolution":{"observed_at":"2026-08-14T15:25:52.440753Z","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-006-0011-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.451238Z","title":"Corradini , author M.R","venue":null,"work_id":"9f0ac530-6d63-404d-b4b9-fcab23a2df51","year":2006},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.445706Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:82038c410847e8bb48019fc38e550df69e0d15087e335bf16a915cb276c2f514","observation_id":"dc8b7bc0-6ca1-4f14-82dc-c4405e744db4","resolution":{"observed_at":"2026-08-14T15:25:53.455087Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2006.02.011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.438905Z","title":"Corradini , author M.R","venue":null,"work_id":"421e420d-eb63-4fac-b5c0-a68558ac4a1a","year":2006},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.449544Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:5f4451f31ab90a045e6dff65138ea2ce3fbf58e42a305da366304bbd24f5b089","observation_id":"279e74bf-2024-4485-b39a-59afff854e47","resolution":{"observed_at":"2026-08-14T15:25:53.443402Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-009-0092-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.424894Z","title":"Corradini , author M.R","venue":null,"work_id":"156af2ae-8c65-40c3-b4a6-5837974d6372","year":2009},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.453684Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:f4a08d5d24ce1edbeaf76409a13e8918695289a4be67a3a05d9ef16e9419088e","observation_id":"dd96a656-a918-4929-93df-ae17d423d907","resolution":{"observed_at":"2026-08-14T15:25:53.429850Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-95891-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.409602Z","title":"Corradini , author M.R","venue":null,"work_id":"afe4293a-3502-4711-83ec-315e1683a746","year":2009},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.458070Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:5d8bb9251ac7d62715d39c30cac113a91b111307d309ebcaff0b82994a671c8f","observation_id":"edea7037-60c9-492c-ba63-feffcea77c96","resolution":{"observed_at":"2026-08-14T15:25:53.415206Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.462874Z","title":"Cleaveland , author G","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.462874Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:c04b40ef7cc41aa7f6b3d45780ff6987d52e28c36950aeb1ffea3528eec41ed6","observation_id":"88285c8d-3dad-4555-a1ff-13802c45d57a","resolution":{"observed_at":"2026-08-14T15:25:52.462874Z","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/bf00271640","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.388122Z","title":"Costa & author C","venue":null,"work_id":"5a73e176-f9f1-4ee5-8084-07982af00fbe","year":1984},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.467204Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:b14e42280930b038df7bae8f80d87533a940fbd4d548a6f67da48e8b85c85102","observation_id":"a8362c61-c6f7-42f0-b2cb-4dd99f151236","resolution":{"observed_at":"2026-08-14T15:25:53.393238Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0890-5401(87)90013-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.374250Z","title":"Costa & author C","venue":null,"work_id":"efee71fc-cd45-43de-8939-a1d01b41a490","year":1987},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.471353Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:fe34446e30eba2cb6adab752cf2bc072a88c03bdf6aff878c750189cdeca8d41","observation_id":"614b2c12-a19a-4958-a88c-9c09fc4656ad","resolution":{"observed_at":"2026-08-14T15:25:53.378141Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/b978-044482830-9/50024-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.361086Z","title":"Cleaveland & author O","venue":null,"work_id":"db57db66-b186-42cc-8a63-b494a87ae180","year":2001},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.475211Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:7f6c639225d4265bac1243249674de01942616b1e63a21fa414168c4e3f030ad","observation_id":"d62f9167-54c7-415b-b4fe-5bef62545770","resolution":{"observed_at":"2026-08-14T15:25:53.365597Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.479403Z","title":"Dyseryn , author R.J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.479403Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:d258ade46870f50463b2491b92e5c08ef4c4971c4e0e74bc007464ba78f98f86","observation_id":"faf2f639-0b11-46ed-9796-794f800bf59c","resolution":{"observed_at":"2026-08-14T15:25:52.479403Z","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.2168/lmcs-4(4:4)2008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.339672Z","title":"Deng , author R.J","venue":null,"work_id":"0faded18-59f4-4724-8ff0-e9fea7dec7dc","year":2008},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.483459Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:ebc6c38de397d1240258214baa921a50dd9d2917a59de39cfacab01447876046","observation_id":"450492c4-0abc-479c-9caa-e5adcb83916d","resolution":{"observed_at":"2026-08-14T15:25:53.344326Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.487571Z","title":"De Nicola & author M","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.487571Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:0959ba39f198e78c28bb98429b87829b9782a8368bf46af782b38f5e552df021","observation_id":"5e5f9720-c767-4fa1-89c7-72c4b1360c89","resolution":{"observed_at":"2026-08-14T15:25:52.487571Z","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-14T15:25:52.492047Z","title":"Emerson & author E.M","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.492047Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:8c6241079b47e40c386cae8780369e9956ab37252e29a6f5749b1af1538068f2","observation_id":"b80ea998-f7e6-4a18-be28-fcba46112119","resolution":{"observed_at":"2026-08-14T15:25:52.492047Z","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-642-28869-2_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.310431Z","title":"Fehnker , author R.J","venue":null,"work_id":"d8171dcd-5b3f-44d2-a67f-057114adcddc","year":2012},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.496956Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:643c06f46deaa71960181c9564d267bcca91ae5856a4a4e9851e3bd3a4dcb70f","observation_id":"508f2dbc-07a4-46df-95cf-4ac9000e64cb","resolution":{"observed_at":"2026-08-14T15:25:53.314928Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.7645","snapshot_observed_at":"2026-08-14T15:25:52.501682Z","title":"Fehnker , author R.J","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.501682Z"},"links":{"cited_paper":"/paper/1312.7645","citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:2ceb1833c4cfdaf821b4f1d33fe20fdcf09ce5a0f3dd8d230252fe12874efbb7","observation_id":"06baebcc-87ad-4783-bd3f-731c23c18855","resolution":{"observed_at":"2026-08-14T15:25:52.501682Z","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.2011.10.011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.296981Z","title":"Fokkink , author R.J","venue":null,"work_id":"d2086375-e79a-4b01-8fc4-59406ddf0ec3","year":2012},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.506489Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:67d5364c47f9037f8c422ef26b346868e709ac56d2cd315aa7b6666642d7e29b","observation_id":"424cb227-6a60-4229-9418-81a6f8e3622f","resolution":{"observed_at":"2026-08-14T15:25:53.301516Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.510526Z","title":"Fokkink ( year 2000 ): title Introduction to Process Algebra","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.510526Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:557b210eb00f8c525d890a41a56c7fb94475813e280d336d6166757b1cebfd66","observation_id":"f26c6101-2ba0-4696-8397-b469971fd1ab","resolution":{"observed_at":"2026-08-14T15:25:52.510526Z","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-14T15:25:52.514725Z","title":"Fokkink ( year 2000 ): title Rooted branching bisimulation as a congruence","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.514725Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:195e12226a4c0bd3957d7bcb8e8615f8a3e3a2e398fd4f75eca87f30ad78b5f6","observation_id":"5be00079-34b8-4e08-b8b2-dcf7c1f25e32","resolution":{"observed_at":"2026-08-14T15:25:52.514725Z","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-14T15:25:52.519943Z","title":"Gibson - Robinson , author P.J","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.519943Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:29262323af0ed39d550d1cbad234f51d7db93d3acf74692d4dd893ef40353821","observation_id":"70441409-dcb2-4b34-baa4-3129486d66e9","resolution":{"observed_at":"2026-08-14T15:25:52.519943Z","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-14T15:25:52.524342Z","title":"van Glabbeek & author U","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.524342Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:2490a0fe73bd1ab131a97cb2c8e51c9631dc9b15ba65f7a084cc81593fd3963b","observation_id":"8da46b96-25b2-4802-a8e2-8799918a860b","resolution":{"observed_at":"2026-08-14T15:25:52.524342Z","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-14T15:25:52.528821Z","title":"van Glabbeek , author U","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.528821Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:f0d2752ae7f4abe2aeceeaa57122261e4b816634ff12710fd8e223882f6ace02","observation_id":"81327933-2081-4007-967e-439d1830c662","resolution":{"observed_at":"2026-08-14T15:25:52.528821Z","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-14T15:25:52.533331Z","title":"van Glabbeek & author P","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.533331Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:765eec51ff8ccfd8e8299e0644bb1a897d8909d984218546c16cf537361652e1","observation_id":"8d81db89-5dd6-4384-9e5b-fc4cf8ef695b","resolution":{"observed_at":"2026-08-14T15:25:52.533331Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1501.03268","snapshot_observed_at":"2026-08-14T15:25:52.538232Z","title":"van Glabbeek & author P","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.538232Z"},"links":{"cited_paper":"/paper/1501.03268","citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:633bc242f1ec57b281c595a1afb0f8019b8666a2163d14deedf84e061e46dc0c","observation_id":"c9e623c9-404c-48a9-90a7-0e7f446ce887","resolution":{"observed_at":"2026-08-14T15:25:52.538232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.07414","last_updated":"2019-11-14T07:37:51Z","snapshot_observed_at":"2026-08-14T18:13:24.385824Z","submitted_at":"2018-10-17T07:39:41Z","title":"Progress, Justness and Fairness","version":2},"cited_work":{"arxiv_id":"1810.07414","doi":null,"metadata_source":"pith","pith_arxiv_id":"1810.07414","snapshot_observed_at":"2026-08-14T15:25:54.272514Z","title":"Progress, Justness and Fairness","venue":"cs.LO","work_id":"82b6c580-0ab7-494e-bee9-ae3e9106ec41","year":2018},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.543402Z"},"links":{"cited_paper":"/paper/1810.07414","citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:e86f713778fd16a7f49d14b79b7bebaee18165732711d8a07944b87d914e3878","observation_id":"fe510ff0-8fa6-4ae5-9b8d-5c101bf9ebb8","resolution":{"observed_at":"2026-08-14T15:25:54.277003Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.547459Z","title":"van Glabbeek ( year 1991 ): title Bisimulations for higher dimensional automata","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.547459Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:d00adc01d03e19e1fa7328d300a52faa84f06311415983937e49cbd6e023162a","observation_id":"e97c3d3f-b4ae-4fc6-be12-acf118e74a53","resolution":{"observed_at":"2026-08-14T15:25:52.547459Z","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-14T15:25:52.551600Z","title":"van Glabbeek ( year 1993 ): title The Linear Time -- Branching Time Spectrum II ; The semantics of sequential systems with silent moves (extended abstract)","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.551600Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:9c0f9da541ab8af70abcdef35ddf753bfc39d52efda224674dd787010dc9f8c6","observation_id":"a27e3d23-8930-4cb9-ba4e-05aa36e5b877","resolution":{"observed_at":"2026-08-14T15:25:52.551600Z","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-1-4471-2120-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.237773Z","title":"van Glabbeek ( year 1994 ): title On the expressiveness of ACP (extended abstract)","venue":null,"work_id":"8ebeead6-f6ca-4426-bca1-92e123d0fd67","year":1994},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.555424Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:a379bfe5e9a38297166831f144ea5eb11499d7c265854f597a3050117642b7d8","observation_id":"03538b4f-9df2-4078-9828-c72048fe4c80","resolution":{"observed_at":"2026-08-14T15:25:53.241920Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.560648Z","title":"van Glabbeek ( year 2001 ): title The Linear Time -- Branching Time Spectrum I ; The Semantics of Concrete, Sequential Processes","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.560648Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:8ae851228f4de3600cdf56490ec3149ba5cf27890fca3f06a91040453f07e259","observation_id":"93f8cf0d-f5e7-4822-8ad6-e42717a455a8","resolution":{"observed_at":"2026-08-14T15:25:52.560648Z","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-642-15240-5_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.215391Z","title":"van Glabbeek ( year 2010 ): title The Coarsest Precongruences Respecting Safety and Liveness Properties","venue":null,"work_id":"94d53bc7-8a8c-4b54-97c0-e4b77376be31","year":2010},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.565331Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:25ebf2fb0100a4d3034461933108b418400613c917d4dcc562603dbe39153662","observation_id":"fb36e9aa-63e7-43d6-af96-7c2c6ce4a82b","resolution":{"observed_at":"2026-08-14T15:25:53.219462Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.569962Z","title":"van Glabbeek ( year 2011 ): title Bisimulation","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.569962Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:dc070b7de3fb1f693acaa55a60466ba5e382521ce36c4daa64219ff4ede94be5","observation_id":"ee0ed9af-30f8-4eba-a926-515057584f5c","resolution":{"observed_at":"2026-08-14T15:25:52.569962Z","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-14T15:25:52.574737Z","title":"van Glabbeek ( year 2011 ): title On Cool Congruence Formats for Weak Bisimulations","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.574737Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:572970064190c6dca32a98c40375c300a5604b7b5cfff7e4cf2cfe10da7738c7","observation_id":"c76a41b5-717f-49ca-a0d8-cb5ac537cab0","resolution":{"observed_at":"2026-08-14T15:25:52.574737Z","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-14T15:25:52.579543Z","title":"van Glabbeek ( year 2012 ): title Musings on Encodings and Expressiveness","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.579543Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:0b103319e7d2f169610355a2e570643e6788efbd13993dda73a28d33d909529e","observation_id":"a15da525-4e2f-4c95-83e0-0f7486eefd1d","resolution":{"observed_at":"2026-08-14T15:25:52.579543Z","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-23506-6_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.176700Z","title":"van Glabbeek ( year 2015 ): title Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP","venue":null,"work_id":"fa5fb5f1-6a7f-4693-8ee5-80bbad35c1f3","year":2015},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.584666Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:dc61171f5c115749a836f3cd8afcccfd5c5fb391c227f5dd7934294ca9f31fbf","observation_id":"f3ff01c5-5e03-40d2-8fdd-7e44b8ea863e","resolution":{"observed_at":"2026-08-14T15:25:53.181407Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.589554Z","title":"van Glabbeek ( year 2017 ): title Lean and Full Congruence Formats for Recursion","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.589554Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:b3c040857151ca7d5f0503234bb95948dc2f8ab9df9c3e4cb8ec6f160f20254b","observation_id":"02d72ddb-6af1-46f8-b1a4-bd6309182c10","resolution":{"observed_at":"2026-08-14T15:25:52.589554Z","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-14T15:25:52.594295Z","title":"van Glabbeek ( year 2019 ): title Justness: A Completeness Criterion for Capturing Liveness Properties","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.594295Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:3f7f11415541240ecb9edfc574248466015b5900459029dcfa3314a044783c0d","observation_id":"756b4bab-0edb-400d-aed7-68565fc00c0e","resolution":{"observed_at":"2026-08-14T15:25:52.594295Z","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-030-21485-2_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.155491Z","title":"van Glabbeek ( year 2019 ): title Reward Testing Equivalences for Processes","venue":null,"work_id":"52a37f16-70ce-4971-b891-cdee34701643","year":2019},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.598655Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:c1eb31006f5c28ca3602edb84ddbb275d37152c6ec5adb5369f6dfc981604b3e","observation_id":"22b00a59-bf8f-43b7-be74-1c0fdbb990e0","resolution":{"observed_at":"2026-08-14T15:25:53.160079Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-19835-9_33","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.142477Z","title":"Garavel , author F","venue":null,"work_id":"a9b23463-0f01-46c2-90ed-73f66fc9bf08","year":2011},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.602654Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:a7effa41ad3a9c133dd6d203be5b59ca21afcadabb2b160ffd39579a1700bb46","observation_id":"0afbf501-7b5d-4dd6-a0c7-ec9d873097a7","resolution":{"observed_at":"2026-08-14T15:25:53.147000Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/fi-2009-109","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.130082Z","title":"van Glabbeek , author B","venue":null,"work_id":"1f8a5448-3bb1-44f3-8770-d49e283322bb","year":2009},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.607310Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:f0e2e436263216bc62a8fbb77cc860efbe06696ebf108f81e96f495a749e01bd","observation_id":"55ca06c9-dcd7-487c-bbe9-cb33734d4435","resolution":{"observed_at":"2026-08-14T15:25:53.134372Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-13345-3_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.116571Z","title":"Goltz & author A","venue":null,"work_id":"531edb2b-59b3-4cde-a0a7-05af5c748d3c","year":1984},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.611205Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:23c72995f1a737d8c2281cc41970708b405065dcbb83766a76f3a79c421642c4","observation_id":"0244a4d2-2901-4da1-9847-6cb935def4ee","resolution":{"observed_at":"2026-08-14T15:25:53.121519Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.615187Z","title":"Groote & author M.R","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.615187Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:d5b46b40ebf909e2c290e79f93e4e41bcea1e638fe3a6fc6c7f854d09f7804a8","observation_id":"4b65880e-fdd5-4a94-9211-b3287743edaf","resolution":{"observed_at":"2026-08-14T15:25:52.615187Z","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.2005.11.077","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.101561Z","title":"Groote , author M.R","venue":null,"work_id":"b98e232f-3b74-42e0-9994-e9a57b1ccdf3","year":2006},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.619909Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:ef1e9f48d4c9152cf6f7a0649ba880e72f974e20ff55cdc247b16754d730335a","observation_id":"923647d8-6a96-4814-96d2-77fa87dafa25","resolution":{"observed_at":"2026-08-14T15:25:53.105837Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.624672Z","title":"Gorla ( year 2010 ): title Towards a unified approach to encodability and separation results for process calculi","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.624672Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:04fdc33b47de82cc4e2715e57fe157c24b8351d4b46f20da4e73fb155d6dcb88","observation_id":"fba04f69-e9a2-4bb4-a805-ce061d452b6c","resolution":{"observed_at":"2026-08-14T15:25:52.624672Z","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-14T15:25:52.628771Z","title":"Groote ( year 1993 ): title Transition System Specifications with Negative Premises","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.628771Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:31f7e70aed31a1154ec7acfbfa50e0e9281286b0847ddafc6132b6eda8766353","observation_id":"7e330a98-f721-4c75-bab4-fc11628e36a2","resolution":{"observed_at":"2026-08-14T15:25:52.628771Z","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-14T15:25:52.633017Z","title":"van Glabbeek & author F.W","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.633017Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:eacf084631aee8b1b464aff269b003491e09775fac2f59eb21a25fbddc08e5e6","observation_id":"2473a91f-911a-4176-b3e5-ab45a924b00b","resolution":{"observed_at":"2026-08-14T15:25:52.633017Z","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-14T15:25:52.636757Z","title":"Groote & author F.W","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.636757Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:8f1addd31aaec1c593e56b096fd48f3f49cea1352d4830dc5e13f83b7562fb75","observation_id":"32c84ed5-26c1-4ad9-be76-9e2eaed8d3e4","resolution":{"observed_at":"2026-08-14T15:25:52.636757Z","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/0304-3975(93)90006-f","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.055851Z","title":"van Glabbeek & author F.W","venue":null,"work_id":"c2034ffc-8116-428c-9491-c199dc207391","year":1993},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.641365Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:0e8b6311b199825224239333fd357ed5d7430a1f01df73665da24da026864004","observation_id":"d7b1895c-7059-4b54-a233-7698ffa899b7","resolution":{"observed_at":"2026-08-14T15:25:53.061237Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.646026Z","title":"van Glabbeek & author W.P","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.646026Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:cdf5ed81ea2ffe3612ab9d016f89e9db88a082f68768e757f1d39a1c92a81737","observation_id":"aded96cf-6445-4a85-9e03-9a45db4806af","resolution":{"observed_at":"2026-08-14T15:25:52.646026Z","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-14T15:25:52.650674Z","title":"Hoare ( year 1985 ): title Communicating S equential P rocesses","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.650674Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:26e5f9769faa21f4455f2c2c686e839de090bd2032c55601920faaaa599ee2f1","observation_id":"af5b949a-ad90-4d5a-981c-e406980d27da","resolution":{"observed_at":"2026-08-14T15:25:52.650674Z","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-14T15:25:52.654567Z","title":"Holzmann ( year 2004 ): title The SPIN Model Checker - primer and reference manual","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.654567Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:8b91106c948e2aa3b90d27887036fe64796471eba03094c47c9c8b1c6fd4e5c0","observation_id":"f9302bd6-783a-4dfb-8791-4f00087b7b83","resolution":{"observed_at":"2026-08-14T15:25:52.654567Z","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-14T15:25:52.658764Z","title":"Henzinger & author S.K","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.658764Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:7290200e1e711c136806762aba51d3d2a2bed5880845e70ff3052cd5e1327106","observation_id":"f25097b0-17e1-4a93-aae5-dcecac5cf0c5","resolution":{"observed_at":"2026-08-14T15:25:52.658764Z","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-14T15:25:52.663438Z","title":"Kant , author A","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.663438Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:191615237c000713484d8504ebfb062df4b2be2457b5d1a1e90b88659f7ece2a","observation_id":"5f9edc3f-6f4f-47e7-a50b-7859e05551ad","resolution":{"observed_at":"2026-08-14T15:25:52.663438Z","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":"2010.57071","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:54.020194Z","title":"Kwiatkowska , author G","venue":null,"work_id":"710b0366-e0c6-45a4-9c4d-faf79ca09626","year":2010},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.668250Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:ab7773c3e62e34125747f8c3a38ae6baaf9f9dd6e64f1e4e0554c3d0d09c4e79","observation_id":"f50c2b7a-3267-42fa-bac7-78bdca15cf3f","resolution":{"observed_at":"2026-08-14T15:25:54.031102Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.672277Z","title":"Kuiper & author W.-P","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.672277Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:5d581cd743cbb4bf47f743f5884159dc65ea8f6116157062aad012a528ccd650","observation_id":"ea6e31aa-26f7-4349-b8b8-172ba52df857","resolution":{"observed_at":"2026-08-14T15:25:52.672277Z","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/s0020-0190(97)00033-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.029203Z","title":"Kindler & author R","venue":null,"work_id":"25e139d9-ab29-4f78-96ec-a54ed71b107a","year":1997},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.676344Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:66cab8960eabd5243cda7583addf32a3357935794d34cc1a6ed0d340ad325439","observation_id":"da7fca0d-8449-4140-9830-4a2016c2223f","resolution":{"observed_at":"2026-08-14T15:25:53.033089Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.681103Z","title":"Lamport ( year 1977 ): title Proving the correctness of multiprocess programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.681103Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:c29309f19770c35e349e47f002180b636d1d35db5bd737fa685887dcb6c306c5","observation_id":"c65983f6-1815-4b69-bd55-be88b8c4fcd1","resolution":{"observed_at":"2026-08-14T15:25:52.681103Z","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-14T15:25:52.685202Z","title":"Lamport ( year 2002 ): title Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.685202Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:64df95bf06e4955cf7e24286d62121579efbc22cf4040a5bd633306cd36d4681","observation_id":"9ee59106-e32e-47ca-a907-f7d43052d851","resolution":{"observed_at":"2026-08-14T15:25:52.685202Z","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-14T15:25:52.689195Z","title":"Lehmann , author A","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.689195Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:19c90015a7b88771026ac830833bf32680730dd9092377d2e87a85bdee09f740","observation_id":"f508d43b-6e9e-4700-8977-a19cb3ff72ec","resolution":{"observed_at":"2026-08-14T15:25:52.689195Z","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":"3347.36336","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.881961Z","title":"Lynch ( year 1968 ): title Reliable full-duplex file transmission over half-duplex telephone line","venue":null,"work_id":"9fc705f6-1cfb-4753-ac71-351004222554","year":1968},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.693087Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:1629a391f98a78ea44e235bc4db55ef4a28f409d12e44d2c7a4d5a89300cb5b5","observation_id":"7604b1aa-3ba2-4ac9-b4a6-c583a0f04bdb","resolution":{"observed_at":"2026-08-14T15:25:53.891396Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.696837Z","title":"Lynch ( year 1996 ): title Distributed Algorithms","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.696837Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:1ac6ed3d6650ef0871a588d589d8391e3b7ca8ce2bfdb1a8ef01571002a2fe09","observation_id":"081c766d-7062-4e5f-9052-5a294f5d9a67","resolution":{"observed_at":"2026-08-14T15:25:52.696837Z","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-14T15:25:52.701449Z","title":"Milner ( year 1989 ): title Communication and concurrency","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.701449Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:eadf67a5a3846aefa0c6a23af4c4f0f768df5aae527328b26da37e05c1f4c798","observation_id":"025eb591-3d54-4601-994c-28078acbc807","resolution":{"observed_at":"2026-08-14T15:25:52.701449Z","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-14T15:25:52.705911Z","title":"Milner ( year 1999 ): title Communicating and mobile systems - the Pi-calculus","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.705911Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:d4fce3b02b09bd37eee9f2f36c85190bbedc25ce83189c82dffa0dae608a52cd","observation_id":"299fec2f-eccb-4cd1-a731-39a858583422","resolution":{"observed_at":"2026-08-14T15:25:52.705911Z","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/s002360000046","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.009740Z","title":"McIver & author C","venue":null,"work_id":"3294b172-d4c6-4b5f-a204-a61ac5e60523","year":2001},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.709933Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:4af792a2d3bacec89175559a1c3b305fe8953d3b085ee7e0c1a756247b2c4672","observation_id":"f2fac897-cef1-4755-a683-f01400e009db","resolution":{"observed_at":"2026-08-14T15:25:53.014008Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.713611Z","title":"Mazurkiewicz , author E","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.713611Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:394e87c6b094aeefe6f9a6e8920b57897d4b62d20613f90420a4b7a24807bdc2","observation_id":"ab242dc6-f2f7-4293-9bbf-4531c4d534bf","resolution":{"observed_at":"2026-08-14T15:25:52.713611Z","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-14T15:25:52.717458Z","title":"Morgan ( year 1994 ): title Programming from specifications , edition 2nd edition","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.717458Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:751067a6c740e4d33217d23885165cc01f4478a3a7316e429712b9f6ee81ae09","observation_id":"3d69985f-fa0a-403b-8a77-8ee8aa4fa8e1","resolution":{"observed_at":"2026-08-14T15:25:52.717458Z","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-14T15:25:52.721469Z","title":"Natarajan & author R","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.721469Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:e50cba543a36eedae82c385378de4d198ed10519533d03a63c58398acb74ef95","observation_id":"d33e534b-cfc7-49ab-bc85-e8f1dc1ee92a","resolution":{"observed_at":"2026-08-14T15:25:52.721469Z","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/cbo9780511526589","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:52.978973Z","title":"Olderog ( year 1991 ): title Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship","venue":null,"work_id":"20be4ec8-107a-4d93-86af-534d6cf50f12","year":1991},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.725346Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:46228c52ee8d8532b42e136202eeb79e2a43f0266d2fbc4455136196078acc70","observation_id":"10401f23-6df4-4fcc-a937-a8767fc184ac","resolution":{"observed_at":"2026-08-14T15:25:52.984251Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.729156Z","title":"Perkins , author E.M","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.729156Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:b93a8a37b3e05648d7f44e03dceda5d8db48a59e1ce017891991103f7fe3f59a","observation_id":"d7d2c165-0a2d-41b3-a34e-da92527ef83f","resolution":{"observed_at":"2026-08-14T15:25:52.729156Z","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-14T15:25:52.733126Z","title":"Pnueli ( year 1977 ): title The Temporal Logic of Programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.733126Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:efcbfc602ddf9d9f61edcab4c01fea6f1daec5903b42c3c4f3b864f3c7144c7e","observation_id":"6a9dd042-e8f9-47cd-bdcc-b994f8b1b3dd","resolution":{"observed_at":"2026-08-14T15:25:52.733126Z","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-14T15:25:52.737100Z","title":"Pratt ( year 1991 ): title Modeling Concurrency with Geometry","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.737100Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:3ff53a82ea7e6c0561cf49fe1351e5c91190a84eba661a3f29d31e087217a84b","observation_id":"5bc3c033-8e48-4850-b7d0-51b57c769ac5","resolution":{"observed_at":"2026-08-14T15:25:52.737100Z","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-14T15:25:52.741597Z","title":"Reisig ( year 2013 ): title Understanding Petri Nets --- Modeling Techniques, Analysis Methods, Case Studies","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.741597Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:17a630919f14ca8a90d280a058b751042a72b6becc3f8a1326e4057acfa814a4","observation_id":"4ac70d69-fc10-42cd-b739-6a11cb457cbf","resolution":{"observed_at":"2026-08-14T15:25:52.741597Z","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-14T15:25:52.746330Z","title":"Roscoe ( year 1997 ): title The Theory and Practice of Concurrency","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.746330Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:0979eef36909a8057f78d4524fcecb073536df735ffc2d88c23db5293b6ca038","observation_id":"65089b1b-2492-4a41-8001-a1cebaf7382a","resolution":{"observed_at":"2026-08-14T15:25:52.746330Z","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-61604-7_62","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:52.948305Z","title":"Segala ( year 1996 ): title Testing Probabilistic Automata","venue":null,"work_id":"3e11450c-0704-405b-a711-417be8207498","year":1996},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.750995Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:d5ced69d9633cd0a70ffdf37be50554186110ac6e7872824ad5e3e0b4a2b06db","observation_id":"592ab52c-71cb-4537-8a5b-7832823a8c19","resolution":{"observed_at":"2026-08-14T15:25:52.953559Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:25:52.754666Z","title":"de Simone ( year 1985 ): title Higher-level synchronising devices in Meije -SCCS","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.754666Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:1120621492a3a6f429edaf51d80837f48a9b263ee53a141cf44cd059b9853100","observation_id":"a998dc93-41e9-4c99-a24d-cca1209b6eb2","resolution":{"observed_at":"2026-08-14T15:25:52.754666Z","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-14T15:25:52.758778Z","title":"Sangiorgi & author D","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.758778Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:0a2bad9cd3a4c435832b424f53057de3218df6d39fecdc2ad1230b585fd2c4e1","observation_id":"89683ab7-fbee-4429-b958-aafc28ecd7a9","resolution":{"observed_at":"2026-08-14T15:25:52.758778Z","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":"1992.18552","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.742745Z","title":"Ulidowski ( year 1992 ): title Equivalences on Observable Processes","venue":null,"work_id":"b0b30703-aa63-4d53-903f-0e587a9c70a6","year":1992},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.762639Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:225c141b1ab0a821bd10e8cb0909c302739bd09509f0f019b3998dc637e6e6f3","observation_id":"08d68b70-b0a3-4b41-8c12-2222cd9a10d7","resolution":{"observed_at":"2026-08-14T15:25:53.749577Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(99)00214-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:52.927549Z","title":"Ulidowski ( year 2000 ): title Finite axiom systems for testing preorder and De Simone process languages","venue":null,"work_id":"d656ceb4-511f-49b7-8f08-7df59bcdc258","year":2000},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.766756Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:87fd29edeefb3621187cf6b10cfc6b2fdeb45165859f9bfa724574aea99784bd","observation_id":"a0bc4f8f-bea3-4a08-80f9-6a6e09b1dc9d","resolution":{"observed_at":"2026-08-14T15:25:52.932009Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2002.3161","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:53.659737Z","title":"Ulidowski & author I.C.C","venue":null,"work_id":"f60f0406-f288-42f3-a94d-334169a5e756","year":2002},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.771156Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:b6434d49f745886c2cf545d046a34f34dc905ece2265f34ab64d6fc5adc02da4","observation_id":"3974b7d4-bf12-4652-8925-521ab25a984f","resolution":{"observed_at":"2026-08-14T15:25:53.666402Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-44618-4_21","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:25:52.915079Z","title":"Ulidowski & author S","venue":null,"work_id":"39727c90-bdcd-47aa-871f-b59e03f94371","year":2000},"citing_paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","version":1},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-08-14T15:25:52.775173Z"},"links":{"citing_paper":"/paper/1912.05616"},"observation_digest":"sha256:46c71c87a0df6ccaa9b29b2a3f9f76b79a09045738ad6c3728dfb2881b6cfbeb","observation_id":"f73a6daa-7e41-473d-8e72-1f9bca1a4465","resolution":{"observed_at":"2026-08-14T15:25:52.919043Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1912.05616","last_updated":"2019-08-04T10:56:42Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T03:09:26.364944Z","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":65,"verified_exact":31,"verified_fuzzy":0},"total_outbound_references":109},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 100 of 109 outbound references and 0 inbound Pith citation observations for arXiv:1912.05616."}