{"as_of":"2026-08-08T08:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b8547716a3893aed7610c06f1ee4705536af9b9e2462a1c12aaf774450583216","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:33:04.843677Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2505.21672/citation-record","integrity":"/paper/2505.21672/integrity","json":"/paper/2505.21672/citation-record.json","paper":"/paper/2505.21672"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-92612-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:06.278171Z","title":"A distributed coordination infrastructure for attribute-based interaction","venue":null,"work_id":"8b7bdad5-1e05-41bc-93c6-37731361d54e","year":2018},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:02.944618Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:7838f9c221889e121b65cc6d899bfbb5cf4aa7ef895f017e2940c648ba48a8fb","observation_id":"5b2c2d09-5d43-4ce0-97c2-e0019dbaac47","resolution":{"observed_at":"2026-08-07T13:33:06.393490Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:03.002835Z","title":"On the power of attribute-based communication","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.002835Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:74d54face0a10bec793394f5df87745fa556b04b8552f757859b20f2d2aea1f8","observation_id":"004a8773-1fe9-4906-b679-e273b7e59518","resolution":{"observed_at":"2026-08-07T13:33:03.002835Z","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":"2019.10445","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:07.597019Z","title":"A calculus for collective-adaptive systems and its behavioural theory","venue":null,"work_id":"f37e902a-53f0-43bb-83b4-098ad8c571d5","year":2019},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.085639Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:7456717b50c05ea53c3afb25e5d3501b7ea32588383a246139c2911f1358cbee","observation_id":"04a83a3f-7504-4412-b807-a4637f4957c7","resolution":{"observed_at":"2026-08-07T13:33:07.735049Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:03.132899Z","title":"A PO characterisation of reconfiguration","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.132899Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:76af49c7cbb7d3c8d9a43677f8d1cfd9a9798055da72dc22a30b2aff8a9b67d3","observation_id":"6c55d83d-358c-4e05-bd63-4fb9914fdc6b","resolution":{"observed_at":"2026-08-07T13:33:03.132899Z","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-07T13:33:03.174442Z","title":"Modelling and verification of reconfigurable multi-agent systems","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.174442Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:6ae11d1f7b108de77be93a5e22126a45dd3e48ae67751c0d318db458c5e38d80","observation_id":"8574f963-eed4-4faf-88ea-bb3c301b99eb","resolution":{"observed_at":"2026-08-07T13:33:03.174442Z","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-07T13:33:03.257285Z","title":"Programming interactions in collective adaptive systems by relying on attribute-based communication","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.257285Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:1f531ce07ab74e1b688f32ca442a467edc66950aee482db108368eef7816c937","observation_id":"3c63d28f-bcc9-4c38-8595-0897e42ef920","resolution":{"observed_at":"2026-08-07T13:33:03.257285Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:08.205859Z","title":"Bisimulation can't be traced","venue":null,"work_id":"666aee03-cc7b-4706-900d-45d3371f270f","year":1995},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.327325Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:4c78c75b6449b56d658d4881c7e7985ad3b07d6f00877e0fd18a8913792de9bd","observation_id":"4d1a337b-635e-47bc-93e4-67a344960c70","resolution":{"observed_at":"2026-08-07T13:33:08.266434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6359.76369","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:07.238187Z","title":"Distributed bisimulations","venue":null,"work_id":"96eb7d8d-2e19-4e0c-8966-995471aad4c2","year":1989},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.396410Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:fd9ece40777aa16da87deb85f0cd9d0c33821742d3a9518dd0a6385eaa33b05e","observation_id":"a0879961-f67e-4db7-9f88-58e3adb09c0b","resolution":{"observed_at":"2026-08-07T13:33:07.311170Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:03.460154Z","title":"Henzinger, and Nir Piterman","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.460154Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:dab2fb88e4953206d4c26d3974f6f8462e280cd8ab933cf05070eaa82c483463","observation_id":"bc0bbe59-a873-4b34-a46a-ab65a481157c","resolution":{"observed_at":"2026-08-07T13:33:03.460154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:08.011557Z","title":"Halpern, Yoram Moses, and Moshe Y","venue":null,"work_id":"092073df-d8c3-4882-a5ab-2aa00a976f2f","year":1995},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.552800Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:1dd8b5dc5eaad4ab9f726640baee80e2c32f59218353d86a1afba9b4abb3bdc7","observation_id":"6aee3dde-3101-4d44-bb52-27642ef17a31","resolution":{"observed_at":"2026-08-07T13:33:08.140425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2005.53","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:05.987834Z","title":"Uniform distributed synthesis","venue":null,"work_id":"c4ec1253-b508-4dc4-ac76-2ca2329f9f8c","year":2005},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.626607Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:1d797c85e4d2067766c764e0373f9f86bcec40a7c6005a60f9c8f97427cdef64","observation_id":"6f696a22-683d-4aeb-9d55-34d70f60544f","resolution":{"observed_at":"2026-08-07T13:33:06.136211Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:03.693724Z","title":"Optimal zielonka-type construction of deterministic asynchronous automata","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.693724Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:59027b0b7874a59e1a306cc3bae0e40097583edee0293916460f55a9cf9f0c50","observation_id":"ab5f8026-4432-4764-b520-9969d277a3f0","resolution":{"observed_at":"2026-08-07T13:33:03.693724Z","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.4230/lipics.icalp.2022.125","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:05.744749Z","title":"Distributed controller synthesis for deadlock avoidance","venue":null,"work_id":"60ea0bd2-d49f-40b3-bfdd-5ccaa6173623","year":2022},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.778665Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:4b0054b8efa25fcb1b9655146fa47323a7beb66ff600eca041fb97ef35539c69","observation_id":"a91cfa35-eced-4a29-b5c0-98b3966dfd86","resolution":{"observed_at":"2026-08-07T13:33:05.843359Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1874-5857(06)80028-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:05.497339Z","title":"Pascal Gribomont","venue":null,"work_id":"331b324b-f0b5-452c-932f-cc3d63ccf80f","year":2006},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.859072Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:f7ab7ffa50c73b0c8390cca3a5fd41cc86731b56deb27e9a0751ed2d7d908af4","observation_id":"a722da3e-6451-4776-b0d3-2543ac4e401b","resolution":{"observed_at":"2026-08-07T13:33:05.643723Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7355.34773","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:07.088066Z","title":null,"venue":null,"work_id":"8f5b5562-2273-4650-9ee6-95120d399d0c","year":2021},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.921546Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:2346e0e2397df0dff429abd7bbfdf8cd189f51a997cc95f1cded1968998a61cb","observation_id":"80fee4da-686c-4a32-b2ef-d56335c02b33","resolution":{"observed_at":"2026-08-07T13:33:07.131368Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2013.07.015","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:05.258313Z","title":"A quadratic construction for Zielonka automata with acyclic communication structure","venue":null,"work_id":"1bec87bb-62b9-4f00-aed9-2a867642cf53","year":2013},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:03.958681Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:842585a07f3e724fadcd671fdcbcc12b8ba7564d41f1aa4d8bc85f9db213ec3d","observation_id":"9685060b-b640-4c7c-89e1-09ca9ffd33e7","resolution":{"observed_at":"2026-08-07T13:33:05.393166Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(87)90007-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:05.143628Z","title":"A context dependent equivalence between processes","venue":null,"work_id":"51c822e2-0306-48c7-a8f4-535375d6e529","year":1987},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.020146Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:63682ee95c8afcca21c7f21ace8fde824f575be05f1ac0a183025591d7839a1a","observation_id":"e4dd6e74-9040-4c3f-9fc5-8f044e582f38","resolution":{"observed_at":"2026-08-07T13:33:05.193308Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:07.845859Z","title":"Deriving bisimulation congruences for reactive systems","venue":null,"work_id":"76ba19ed-494f-4270-9bb5-ffb3bd716aa3","year":2000},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.072294Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:3aa3fd75fcaeafbb5af585e25b5309b0adf895a0a6708ffe19ed521e09c11a1d","observation_id":"70dd36e6-0ae1-4c18-be6f-4e774ede1a65","resolution":{"observed_at":"2026-08-07T13:33:07.941186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:04.148104Z","title":"Barbed bisimulation","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.148104Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:f6996d5d9874fab42040cc5827c22dd879365f88ab95bdb29989296b9188522d","observation_id":"d02c0b69-585d-4dcd-854a-365d8dbccacf","resolution":{"observed_at":"2026-08-07T13:33:04.148104Z","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-07T13:33:04.232853Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.232853Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:d9179c3a9b0f63c0bdfef06b65c730eee7b636c0218d2cd4700afe077eea127e","observation_id":"43253d1b-3663-4ac8-8b67-474ed2f0e931","resolution":{"observed_at":"2026-08-07T13:33:04.232853Z","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/s004460050031","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:05.031612Z","title":null,"venue":null,"work_id":"893fe757-6c4d-433b-9fa9-6bf5e699ead1","year":1997},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.286179Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:05ac62aac19f462f552052a57e1e6884ec8218e898b433a04198841db7efd90b","observation_id":"9d25ca61-1d91-4f3c-8820-65649d7dd4ab","resolution":{"observed_at":"2026-08-07T13:33:05.067283Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:04.361295Z","title":"Automated synthesis of distributed controllers","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.361295Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:738b71d800406bbfcfcc85c1fffd3a20ae1e5533a98aea52274fbc6095c0c976","observation_id":"cd7b8be7-b4fb-4d5c-a2ed-3a293a58269d","resolution":{"observed_at":"2026-08-07T13:33:04.361295Z","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-07T13:33:04.420099Z","title":"Vaandrager","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.420099Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:2ff1747acc30f4adc34fd3142f9658a3b3e15cf57088368a8e91cf0da7e43d9b","observation_id":"e7db2fba-c1a7-4d83-9e6e-1760cdee7fb2","resolution":{"observed_at":"2026-08-07T13:33:04.420099Z","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-07T13:33:04.571840Z","title":"Distributed reactive systems are hard to synthesize","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.571840Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:ec0c66d604a3997623fd609f3f7a0bc8cf8ba5eb5587f452139f6627f1030856","observation_id":"4dfab94b-f3b9-416e-a17d-08ab4cccbefc","resolution":{"observed_at":"2026-08-07T13:33:04.571840Z","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-07T13:33:04.627223Z","title":"The control of discrete event systems","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.627223Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:0824e9e7c779c67ac15bf6fe4c380167cb004b12c3959afa529fbcb58a4ef8ab","observation_id":"df99adf0-a8d6-46bb-a202-03c9b4f57282","resolution":{"observed_at":"2026-08-07T13:33:04.627223Z","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-07T13:33:04.690470Z","title":"A theory of bisimulation for the pi-calculus","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.690470Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:be691ae094856ff4b7650f4d97989927ecd94dc6f3a986e3d1ed8e2f1efb4e6c","observation_id":"7586c877-c64f-486e-be4d-c9292c6c6e80","resolution":{"observed_at":"2026-08-07T13:33:04.690470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-45187-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:04.927660Z","title":"Synthesis of distributed algorithms using asynchronous automata","venue":null,"work_id":"eb9ddef4-d29f-4f51-82d5-d16d969c1a9d","year":2003},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.738642Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:35ac0da7e06e1b0cbad45bfbef5a3a242de1897229bbdfe72c7b2fe3d07bd1ba","observation_id":"b0ec93bd-1bc4-420b-a17f-0efdf858a98c","resolution":{"observed_at":"2026-08-07T13:33:04.964515Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3551.23355","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:33:06.743220Z","title":"van Glabbeek and W","venue":null,"work_id":"d08d9570-693e-4a4d-8b05-8ef86e1fbd98","year":1996},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.786301Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:a72789a55a68d789c8c3bd068a5b30a431d14f13e5bfc7c5bb494ad0decd5683","observation_id":"7a5688ad-e851-4d9f-8975-6765c47a385c","resolution":{"observed_at":"2026-08-07T13:33:06.809666Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:33:04.843677Z","title":"Notes on finite asynchronous automata","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T13:33:04.843677Z"},"links":{"citing_paper":"/paper/2505.21672"},"observation_digest":"sha256:912a48749228eef4c08eb6e74731810f4c584474563fe0a88489a5b29c63c802","observation_id":"2624ce3f-816b-41f5-b974-7a9d833ace38","resolution":{"observed_at":"2026-08-07T13:33:04.843677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.21672","last_updated":"2025-05-27T18:50:19Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T13:22:57.321267Z","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":13,"verified_exact":9,"verified_fuzzy":3},"total_outbound_references":29},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2505.21672."}