{"as_of":"2026-08-12T23:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:db7bdf52f65df76de6d1fa2219be6ce80fe152a0e0bb5ed50fc9f1d731a29b8f","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:17:06.109418Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.14583/citation-record","integrity":"/paper/2411.14583/integrity","json":"/paper/2411.14583/citation-record.json","paper":"/paper/2411.14583"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-09005-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.551305Z","title":"Aubert (2022): Concurrencies in Reversible Concurrent Calculi","venue":null,"work_id":"7a7f4f5a-d719-4cf9-b970-8b3177c46d97","year":2022},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.878801Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:615f524c4a7df0a0aa38f1246fce5cd65e8476326d4f274d8f8450c70284f31e","observation_id":"a147b2d5-d8c4-42d5-9c99-96fcd5ae9066","resolution":{"observed_at":"2026-08-12T15:17:06.556034Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlamp.2016.08.004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.539647Z","title":"Aubert & I","venue":null,"work_id":"e8d413b0-4bc6-4d1e-a868-9bd7bd3ff0a9","year":2017},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.883392Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:8363461da2bad4bbc1036377526dfa91cfc8d20d2ecbff7bbdfcb26f85bd0d22","observation_id":"2bcb2df7-3f2d-4805-aa0a-4494b65ee5ea","resolution":{"observed_at":"2026-08-12T15:17:06.543459Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2020.7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.528947Z","title":"Aubert & I","venue":null,"work_id":"0a101242-f9a1-4be7-91c6-e037edcd3243","year":2020},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.887169Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:1a61a7d31207bc4be93e238d648dc69cbff4d686235516f0a7a0c073c3eca03f","observation_id":"55d0c4d7-f0fb-4776-95cf-977b6e9de36a","resolution":{"observed_at":"2026-08-12T15:17:06.532638Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2629638","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.517318Z","title":"Baldan & S","venue":null,"work_id":"7752479e-f1e2-48a3-ad52-7e5433401a87","year":2014},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.891060Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:1dc4448e4ec7553cf67654fbff3c1fa1ee73dc72bd3dc93b3785361d30a8eee4","observation_id":"5b916b05-6b03-4dc0-8886-1218cb274cb0","resolution":{"observed_at":"2026-08-12T15:17:06.521444Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.828917Z","title":"Bednarczyk (1991): Hereditary History Preserving Bisimulations or What Is the Power of the Future Perfect in Program Logics","venue":null,"work_id":"a9c62844-3bcc-4283-b490-88901dd6114e","year":1991},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.895720Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:79147b230ff2ef9bd777705489d1891005ee0b5c7cb85982d4dd84d388d3c89b","observation_id":"539ddc72-1eef-47ab-b496-7e905a55b0df","resolution":{"observed_at":"2026-08-12T15:17:06.833340Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:05.900506Z","title":"Bennett (1973): Logical Reversibility of Computation","venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.900506Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:33ed66f7c4b9db02ca33058077ded57e288d56cfc802ca0ae91fca6eb7f296b8","observation_id":"b46add73-22af-49d7-ba19-72cb5d583eae","resolution":{"observed_at":"2026-08-12T15:17:05.900506Z","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.1137/0217073","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.498309Z","title":"Bergstra, J.W","venue":null,"work_id":"cf85959b-a53a-42a7-8943-9ecb3457d80c","year":1988},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.904661Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:e076decfa87d55bd49e2336c34944ff7bde3dec07305f61b9c45e558fd64ccd2","observation_id":"172c4b11-d645-49c5-80a4-be06af0b528f","resolution":{"observed_at":"2026-08-12T15:17:06.502473Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.817707Z","title":"Bernardo & A","venue":null,"work_id":"a3ef191c-fa0a-4182-9c16-911cbdb9d99a","year":2023},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.908251Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:09629d4c5467b397143a0dab22417365c196fea6c36f7f5676833073e5521ecf","observation_id":"73244b8c-557d-435c-9817-2c594286e4d3","resolution":{"observed_at":"2026-08-12T15:17:06.821402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.390.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.485412Z","title":"Bernardo & A","venue":null,"work_id":"cc1f43a3-9793-4f26-909d-1ef04c404696","year":2023},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.912205Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:76fee3d5401158fe3d2ba6b364c0bf0d17c3436be20559b54f21a31135347648","observation_id":"58f74e2e-9796-432e-8e4f-fa1a55267dc9","resolution":{"observed_at":"2026-08-12T15:17:06.490185Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:05.916201Z","title":"Bernardo & C.A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.916201Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:50c2ecedaa086b3e505493b9950b5b38b6a635f71dc5fe38d1a797e8cd196fe5","observation_id":"c83f8614-bb11-46c6-a8b6-f4d90e927e9e","resolution":{"observed_at":"2026-08-12T15:17:05.916201Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-42626-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.465839Z","title":"Bernardo & C.A","venue":null,"work_id":"43001345-5b54-46d1-87fd-c3630f6d4580","year":2023},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.920656Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:acd79ef0c2e7b5e7ae05deb533f495e461c5fd8046db3b8d9e5933d5e2db43a4","observation_id":"41394db7-a3e4-47e5-a16b-f14bc779c90f","resolution":{"observed_at":"2026-08-12T15:17:06.470316Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.804591Z","title":"Bernardo & C.A","venue":null,"work_id":"f2a39424-3dd1-452f-adbf-d21483ede110","year":2024},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.924898Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:4bc76371bd0ece1bf6c38b81cd7092925dcd8ec44d86586638b7fb366f79a520","observation_id":"5f8e141f-d56c-43e8-9207-fc1d780ec314","resolution":{"observed_at":"2026-08-12T15:17:06.809391Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:05.928089Z","title":"Bernardo & S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.928089Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:64630a132ef60378245cf31b722897804a9d7d5d5b574473cd7c59ef35e6e88f","observation_id":"da444725-7a63-4c07-aa99-4aa93be1b458","resolution":{"observed_at":"2026-08-12T15:17:05.928089Z","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-12T15:17:05.932659Z","title":"Bocchi, I","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.932659Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:0d3be6dcf0f18664aa5d48217d6d45948b2d7e7a7a99eae250ed915493a7aa0b","observation_id":"9da79b18-aa6d-481b-8afa-8a2276a608dc","resolution":{"observed_at":"2026-08-12T15:17:05.932659Z","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(88)90096-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.440973Z","title":"Boudol & I","venue":null,"work_id":"73d9cf26-ad94-44d5-b5f3-1cb13662a9b3","year":1988},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.935956Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:8a7a04a119f7f1c80a246a5609c39c1b18e0b2bf6a471473b801b166ded46234","observation_id":"e4fb974c-3bd5-4eb8-8c54-b00eba491b97","resolution":{"observed_at":"2026-08-12T15:17:06.444840Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/fi-1988-11406","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.429619Z","title":"Boudol & I","venue":null,"work_id":"878a632b-d51f-40f7-a38a-f692779b1d36","year":1988},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.939480Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:4569b71d63084f484bce5447d0b85c6c7f70c4b5a68485b4c138abe3207e0209","observation_id":"08042849-ef48-436f-ac14-d05b493155b8","resolution":{"observed_at":"2026-08-12T15:17:06.433322Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1994.1088","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.781691Z","title":"Boudol & I","venue":null,"work_id":"84143043-71ab-4931-a49e-db5dc66a4750","year":1994},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.943047Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:3b87082b22c8f33d4abcb612b0a3c20afa663be09c008874ca784de4f6832ae0","observation_id":"88874f6b-b6a8-4095-be6a-73bb5e21d810","resolution":{"observed_at":"2026-08-12T15:17:06.787997Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01221098","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.418057Z","title":"Boudol, I","venue":null,"work_id":"bdc41cb0-e543-4666-8dfc-7975804714c8","year":1994},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.947079Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:ca939d583e3970a7a17258b92a3a0ac580437d5f4d22a40da0fdd5b3e381e36f","observation_id":"72e0e57a-f56d-43b0-b7e6-1d4d9344ac09","resolution":{"observed_at":"2026-08-12T15:17:06.422198Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:05.951210Z","title":"Brookes, C.A.R","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.951210Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:7abd1a4b86b9045b32954134591239dc4c4aaf7b4adfc2b5404b979aa49a5055","observation_id":"b6b263a7-a887-41dc-9445-c2c67b35e68e","resolution":{"observed_at":"2026-08-12T15:17:05.951210Z","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.1142/s0129054195000196","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.399924Z","title":"Castellani (1995): Observing Distribution in Processes: Static and Dynamic Localities","venue":null,"work_id":"1466b853-b650-45b4-aa5d-5e9361b56d7b","year":1995},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.956828Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:d0c24d376555b0d0566caaf68771e139698e8160359b130653405f4b504af813","observation_id":"2575598a-4b01-4ede-88dd-b2df845b13a7","resolution":{"observed_at":"2026-08-12T15:17:06.404684Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:05.960919Z","title":"Cristescu, J","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.960919Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:568a1d0342f97c5de37ef8b1aed3f5bafe6b7513d1ceb2f450458a81dc0ebb2e","observation_id":"be93b9de-312d-4e9f-aecd-5e717d8fb51f","resolution":{"observed_at":"2026-08-12T15:17:05.960919Z","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-12T15:17:05.965206Z","title":"Danos & J","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.965206Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:0191c29982094d0dbf35f478335d6bcc5f4abc44974218df6e08a9212cf02cff","observation_id":"a3e3f98f-525a-4807-a810-4370e10772c6","resolution":{"observed_at":"2026-08-12T15:17:05.965206Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0035764","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.368740Z","title":"Darondeau & P","venue":null,"work_id":"88b73fa4-6918-435f-8dce-33df4cd35093","year":1989},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.974457Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:a924a7efc9c6a28affb00b02ce644fc844ca28f34df5aa563291382cdc604ec0","observation_id":"ffb76a60-9667-4d18-af3e-368ca6cec8d6","resolution":{"observed_at":"2026-08-12T15:17:06.373116Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-53479-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.357978Z","title":"Darondeau & P","venue":null,"work_id":"228bc66e-50a1-4847-b42e-afb4d4405d4a","year":1990},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.979496Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:d978f26fb224f5dd8ebd70f523c78c4d19c09d8ebeb90fa4bdad1dbe7efd0a75","observation_id":"14a21a3f-0634-4eb3-834a-c0a29129c483","resolution":{"observed_at":"2026-08-12T15:17:06.361620Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0039058","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.346257Z","title":"De Nicola, U","venue":null,"work_id":"3ff4fee2-2a3c-4680-9494-71e39974ce2c","year":1990},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.984694Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:06a53486e1b445b6b2121468709f107f75c0cde26cec3d6a1286769b2b39f7c9","observation_id":"99d9fb9e-0a84-4f5b-bdec-9d7b87fee996","resolution":{"observed_at":"2026-08-12T15:17:06.350837Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:05.989335Z","title":"Degano & C","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.989335Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:64eee83310a6fd7df60d5b04c2b20ddb1910e2935907505ad0ffd22d8f0d13be","observation_id":"52a316b4-c255-4e1f-8cef-bda8f9369ac5","resolution":{"observed_at":"2026-08-12T15:17:05.989335Z","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.ipl.2003.11.008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.329384Z","title":"Fecher (2004): A Completed Hierarchy of True Concurrent Equivalences","venue":null,"work_id":"ba5dbd8c-229b-4399-a34b-232af373f73d","year":2004},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.994285Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:5c3aa01ab2a84354c343d2bc8a9fd4692d8cb1c89452df9671d8da2355c8d0e3","observation_id":"6edef6a1-8feb-49b3-9ca2-bd94da8d6ed3","resolution":{"observed_at":"2026-08-12T15:17:06.333063Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:05.999313Z","title":"Fr ¨oschle & S","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:05.999313Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:6ef9edcd9e8fa7924af0cb04292f8ae2836b2d2b74b56569d9c86b03a796d649","observation_id":"b2a3b597-a792-454d-ac30-d67b78cb8c53","resolution":{"observed_at":"2026-08-12T15:17:05.999313Z","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-12T15:17:06.003508Z","title":"Giachino, I","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.003508Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:ada90b1f742a0e42182d4b77aad595fe86f9f33d2edd2b9d4d67fe66382593c0","observation_id":"d1fc3cfe-ef30-47e9-af59-844483398525","resolution":{"observed_at":"2026-08-12T15:17:06.003508Z","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/s002360000041","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.311838Z","title":"van Glabbeek & U","venue":null,"work_id":"aa084e29-584d-433d-888e-cc721d6aea4e","year":2001},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.007710Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:0c92e79f6527cf936c48dc8656f1d5c6146bb8895256bb401f4c90c6a5e6a61a","observation_id":"7ccc3471-3846-4b04-896d-233c806205bc","resolution":{"observed_at":"2026-08-12T15:17:06.315430Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:06.012164Z","title":"Hennessy & R","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.012164Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:5b374718d9772a30005ee822b7bec926cf8d01138602793ff81ba71cef59d3fe","observation_id":"eed7fcdd-b4de-4145-8ca6-1ab2b50664be","resolution":{"observed_at":"2026-08-12T15:17:06.012164Z","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-36315-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.300687Z","title":"Krivine (2012): A Verification Technique for Reversible Process Algebra","venue":null,"work_id":"fa6cea9f-b0bd-4eff-a336-a8c4737ec42b","year":2012},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.016105Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:c2388796e878d8bc4296aa2d2e4a48735e7df1143483fa825a80957b90270a4d","observation_id":"78856c35-c222-4c44-bce1-cb4dbd37b1d4","resolution":{"observed_at":"2026-08-12T15:17:06.304908Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:06.020211Z","title":"Landauer (1961): Irreversibility and Heat Generation in the Computing Process","venue":null,"work_id":null,"year":1961},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.020211Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:9f4cce4390c73dcb19c36f91d03f50105dfbaf4ac40e93f38d1b7866b4c2a6fb","observation_id":"f2e8f53d-95e6-430a-bcda-ace814e34f79","resolution":{"observed_at":"2026-08-12T15:17:06.020211Z","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-12T15:17:06.024776Z","title":"Lanese, M","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.024776Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:30a07af9059e0194d291f3d65fb9e8ec8ce9107f0ce5458062a1e6cd1885761a","observation_id":"ec8afff8-ddf3-4efb-a819-00ddb1abf212","resolution":{"observed_at":"2026-08-12T15:17:06.024776Z","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-12T15:17:06.028821Z","title":"Lanese, D","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.028821Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:dcfad79517487aef39a94c8576a127c85b0f8498bfc79c23fa63cbd323fd6266","observation_id":"b179395f-2572-4307-8ec9-179eab800a1b","resolution":{"observed_at":"2026-08-12T15:17:06.028821Z","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-90686-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.262943Z","title":"Lanese, N","venue":null,"work_id":"ac2491e8-3b78-4f6b-99d9-8990ee2841dc","year":2018},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.037159Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:0d02aaf5293b48e85dff75e9dfd551755e190a90f3dc1cef906ce3d9d8b51071","observation_id":"43869fde-e1a1-4e4e-a35e-70af82f31651","resolution":{"observed_at":"2026-08-12T15:17:06.266986Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:06.045475Z","title":"Laursen, L.-P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.045475Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:659cc719dbc0e4768e516fa46767d9fbf6de65335cf1295f18f1148f76a2363a","observation_id":"dcb18976-7e6d-48d7-ae33-01ecbac575ad","resolution":{"observed_at":"2026-08-12T15:17:06.045475Z","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-12T15:17:06.049607Z","title":"Milner (1989): Communication and Concurrency","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.049607Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:68e3b9efe679ec6af81c4078381e6b63d9fcbb267628e20349e6983d32ca841c","observation_id":"861e8da2-5bef-4b7d-be38-f7ca4d203939","resolution":{"observed_at":"2026-08-12T15:17:06.049607Z","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/bf00268075","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.244749Z","title":"Olderog & C.A.R","venue":null,"work_id":"be51066b-f62c-4439-8173-57dfb3cc46b7","year":1986},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.053234Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:d038aaab7858dbc08b94163b9670bd248df08bf70139b7d33926a4490c32ecf4","observation_id":"b7aba180-be58-4ade-94ff-f960556446a4","resolution":{"observed_at":"2026-08-12T15:17:06.248538Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:06.057230Z","title":"Park (1981): Concurrency and Automata on Infinite Sequences","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.057230Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:ec139f79217b12a38d2e8d0a6d4e5c9befb9d71ab11375df11ca2edb80f0e937","observation_id":"3ac50e44-8f6f-414e-8edd-bac9bc5bfe7b","resolution":{"observed_at":"2026-08-12T15:17:06.057230Z","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/s10586-013-0277-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.227604Z","title":"Perumalla & A.J","venue":null,"work_id":"e398cbb8-34b4-4a0f-ac3e-5139a4eee169","year":2014},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.061702Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:1ebd2cc038ac936eb50028339133060c5f5f85b815176921f2197c0ebb3d3b54","observation_id":"f85293fc-665e-4cf3-bca9-d979f61152d8","resolution":{"observed_at":"2026-08-12T15:17:06.231266Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:06.066493Z","title":"Phillips & I","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.066493Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:27fee7620d3c03facc31989cb5821d4f7b98882b7f4fe6c3512e637b69c744b0","observation_id":"1d825279-8291-4f9c-893c-a9fea831cd15","resolution":{"observed_at":"2026-08-12T15:17:06.066493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2007.08.018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.209581Z","title":"Phillips & I","venue":null,"work_id":"03acca12-f9f5-4c91-bb50-12d3414da2f5","year":2007},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.071053Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:9a11e9e70c3a93a8de9a53b99e45a9f3e38e830cd614d8a3c8cd58e59d22f9a1","observation_id":"77bde64d-53ba-40f3-966e-7dbff5475613","resolution":{"observed_at":"2026-08-12T15:17:06.214037Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129511000429","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.197539Z","title":"Phillips & I","venue":null,"work_id":"15dea918-a351-4959-99f5-7f664fcc20de","year":2012},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.075866Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:c85b4e282f566d49e822a826383eb0f8c5279e1a9ae63894b182a8ffd1e80db9","observation_id":"1bbbb764-fd96-419d-bf3e-3178b4cdb6b2","resolution":{"observed_at":"2026-08-12T15:17:06.201704Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129513000510","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.185548Z","title":"Phillips & I","venue":null,"work_id":"97a9810a-f2d9-47c4-9f96-972bc1ea9a8a","year":2014},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.079645Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:ee83bd68eaabd36087520699ee92bc15693f3fb8d58f41018948129738bf33f8","observation_id":"1db0096c-cab2-44e4-94b0-0386d23f67cc","resolution":{"observed_at":"2026-08-12T15:17:06.189460Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:06.083610Z","title":"Phillips, I","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.083610Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:8c5898ac319400c89bbadb86b05420fae80d86ef65b8ca4a7e9f4bbce0cbe59f","observation_id":"609f2f6a-2a90-44b2-8b70-331951ee9f73","resolution":{"observed_at":"2026-08-12T15:17:06.083610Z","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-73359-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.165526Z","title":"Pinna (2017): Reversing Steps in Membrane Systems Computations","venue":null,"work_id":"6c52ad9f-fff7-44e1-b3ee-a90d6ba05346","year":2017},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.088040Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:181a9ca4b0c8c452976a737faba72547ac2e94ed1af1f8c29506a6cfef4d492b","observation_id":"23991eba-0746-45bf-91f8-5d0936ff2060","resolution":{"observed_at":"2026-08-12T15:17:06.170290Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/fi-1988-11404","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.154144Z","title":"Rabinovich & B.A","venue":null,"work_id":"783bc0df-aa62-47a9-99a6-4a3f4c18f695","year":1988},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.091642Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:cfdc445859b353d8100e28acc65769379b7eade3c726ac0f2a2baf59361990d6","observation_id":"14a1cb18-72b5-465b-8c54-99f4d5a7deb0","resolution":{"observed_at":"2026-08-12T15:17:06.158460Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00354-018-0038-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:06.141904Z","title":"Schordan, T","venue":null,"work_id":"42e0ce2a-d3e9-43eb-8986-e6308417b803","year":2018},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.095580Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:13848d7ed209008708ab11980dcff8bedd157d44bb621427ecb79d141dddf3ef","observation_id":"f06c39fd-1390-4dbc-9095-1dcf3e6c6c9d","resolution":{"observed_at":"2026-08-12T15:17:06.146397Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:17:06.100955Z","title":"Siljak, K","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.100955Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:c636a0287be06f34865d9273a36f445ad2017cdf47494b275157526dcbdc6afc","observation_id":"8f65843c-4178-456d-ac29-0316c85bcfcc","resolution":{"observed_at":"2026-08-12T15:17:06.100955Z","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-12T15:17:06.104777Z","title":"Vassor & J.-B","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.104777Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:98c28c904d61a0a1f3ba520e44757cdc1325dfc82cfe6ad5c6a965f631c40231","observation_id":"3c81294f-e4cc-4791-9925-906b4693ba6a","resolution":{"observed_at":"2026-08-12T15:17:06.104777Z","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-12T15:17:06.109418Z","title":"de Vries, V","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:06.109418Z"},"links":{"citing_paper":"/paper/2411.14583"},"observation_digest":"sha256:ee92360210e6ce1bb0bfb30b6864c9cb4e08ee3d2f8d6d8765adaf14981ae8d4","observation_id":"3e0666c9-aade-47b3-9b9f-58575c9fb8f7","resolution":{"observed_at":"2026-08-12T15:17:06.109418Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14583","last_updated":"2024-11-21T20:47:10Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T15:05:41.170030Z","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":6,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":24,"verified_fuzzy":3},"total_outbound_references":52},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2411.14583."}