Paper Citation Record · LEDGER

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.21672 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:33:04.843677Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact9
verified fuzzy3
unresolved13
parse uncertain0
malformed identifier1
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5b2c2d09-5d43-4ce0-97c2-e0019dbaac47 · outbound

This paper cites A distributed coordination infrastructure for attribute-based interaction.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem A distributed coordination infrastructure for attribute-based interaction

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T13:33:06.393490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 004a8773-1fe9-4906-b679-e273b7e59518 · outbound

This paper cites On the power of attribute-based communication.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem On the power of attribute-based communication

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:03.002835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04a83a3f-7504-4412-b807-a4637f4957c7 · outbound

This paper cites A calculus for collective-adaptive systems and its behavioural theory.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem A calculus for collective-adaptive systems and its behavioural theory

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:33:07.735049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6c55d83d-358c-4e05-bd63-4fb9914fdc6b · outbound

This paper cites A PO characterisation of reconfiguration.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem A PO characterisation of reconfiguration

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:03.132899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8574f963-eed4-4faf-88ea-bb3c301b99eb · outbound

This paper cites Modelling and verification of reconfigurable multi-agent systems.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Modelling and verification of reconfigurable multi-agent systems

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:03.174442Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c63d28f-bcc9-4c38-8595-0897e42ef920 · outbound

This paper cites Programming interactions in collective adaptive systems by relying on attribute-based communication.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Programming interactions in collective adaptive systems by relying on attribute-based communication

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:03.257285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d1a337b-635e-47bc-93e4-67a344960c70 · outbound

This paper cites Bisimulation can't be traced.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Bisimulation can't be traced

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:33:08.266434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a0879961-f67e-4db7-9f88-58e3adb09c0b · outbound

This paper cites Distributed bisimulations.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Distributed bisimulations

Reference 8

Resolution: verified exact; raw_fallback, observed 2026-08-07T13:33:07.311170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bc0bbe59-a873-4b34-a46a-ab65a481157c · outbound

This paper cites Henzinger, and Nir Piterman.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Henzinger, and Nir Piterman

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:03.460154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6aee3dde-3101-4d44-bb52-27642ef17a31 · outbound

This paper cites Halpern, Yoram Moses, and Moshe Y.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Halpern, Yoram Moses, and Moshe Y

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:33:08.140425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6f696a22-683d-4aeb-9d55-34d70f60544f · outbound

This paper cites Uniform distributed synthesis.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Uniform distributed synthesis

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T13:33:06.136211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ab5f8026-4432-4764-b520-9969d277a3f0 · outbound

This paper cites Optimal zielonka-type construction of deterministic asynchronous automata.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Optimal zielonka-type construction of deterministic asynchronous automata

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:33:03.693724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a91cfa35-eced-4a29-b5c0-98b3966dfd86 · outbound

This paper cites Distributed controller synthesis for deadlock avoidance.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Distributed controller synthesis for deadlock avoidance

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T13:33:05.843359Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a722da3e-6451-4776-b0d3-2543ac4e401b · outbound

This paper cites Pascal Gribomont.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Pascal Gribomont

Reference 14

Resolution: verified exact; doi, observed 2026-08-07T13:33:05.643723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 80fee4da-686c-4a32-b2ef-d56335c02b33 · outbound

This paper cites an unresolved cited work.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Unresolved cited work

Reference 15

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:33:07.131368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9685060b-b640-4c7c-89e1-09ca9ffd33e7 · outbound

This paper cites A quadratic construction for Zielonka automata with acyclic communication structure.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem A quadratic construction for Zielonka automata with acyclic communication structure

Reference 16

Resolution: verified exact; doi, observed 2026-08-07T13:33:05.393166Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e4dd6e74-9040-4c3f-9fc5-8f044e582f38 · outbound

This paper cites A context dependent equivalence between processes.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem A context dependent equivalence between processes

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T13:33:05.193308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 70dd36e6-0ae1-4c18-be6f-4e774ede1a65 · outbound

This paper cites Deriving bisimulation congruences for reactive systems.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Deriving bisimulation congruences for reactive systems

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:33:07.941186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d02c0b69-585d-4dcd-854a-365d8dbccacf · outbound

This paper cites Barbed bisimulation.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Barbed bisimulation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.148104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43253d1b-3663-4ac8-8b67-474ed2f0e931 · outbound

This paper cites an unresolved cited work.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.232853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d25ca61-1d91-4f3c-8820-65649d7dd4ab · outbound

This paper cites an unresolved cited work.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-07T13:33:05.067283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cd7b8be7-b4fb-4d5c-a2ed-3a293a58269d · outbound

This paper cites Automated synthesis of distributed controllers.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Automated synthesis of distributed controllers

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.361295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7db2fba-c1a7-4d83-9e6e-1760cdee7fb2 · outbound

This paper cites Vaandrager.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Vaandrager

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.420099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dfab94b-f3b9-416e-a17d-08ab4cccbefc · outbound

This paper cites Distributed reactive systems are hard to synthesize.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Distributed reactive systems are hard to synthesize

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.571840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df99adf0-a8d6-46bb-a202-03c9b4f57282 · outbound

This paper cites The control of discrete event systems.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem The control of discrete event systems

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.627223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7586c877-c64f-486e-be4d-c9292c6c6e80 · outbound

This paper cites A theory of bisimulation for the pi-calculus.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem A theory of bisimulation for the pi-calculus

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.690470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0ec93bd-1bc4-420b-a17f-0efdf858a98c · outbound

This paper cites Synthesis of distributed algorithms using asynchronous automata.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Synthesis of distributed algorithms using asynchronous automata

Reference 27

Resolution: verified exact; doi, observed 2026-08-07T13:33:04.964515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7a5688ad-e851-4d9f-8975-6765c47a385c · outbound

This paper cites van Glabbeek and W.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem van Glabbeek and W

Reference 28

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:33:06.809666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2624ce3f-816b-41f5-b974-7a9d833ace38 · outbound

This paper cites Notes on finite asynchronous automata.

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem Notes on finite asynchronous automata

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T13:33:04.843677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.